Computer Science Archive: Questions from January 26, 2023
-
2 answers
-
Let the domain be the set of all positive integers: \( \{1,2,3, \ldots\} \). Are the following expressions true or false? 1. \( \exists x \exists y(x \neq y) \wedge(x * y=1) \) 2. \( \forall x \exists2 answers -
Simply the following lambda expressions, if possible.
a) \( \lambda x . \lambda y .(y x) \lambda y . \lambda x .(x ~ y) \lambda x . \lambda y .(x y) \) b) \( \lambda z .(\mathrm{z} z) \lambda \mathrm{x} \cdot(\mathrm{x} \mathrm{x}) \)2 answers