Q2)
Posted: Sun Jul 10, 2022 11:12 am
Q2)
In this question you have to translate sentences of First-Order Logic into English sentences, using the predicates and names given in Table 1.
Question 2.4 3x(Bananas(x) A Yellow(x) Ripe(x)) Question 2.5 3x(Men(x) Vy(Men Tell(y) ^ (x=y) → Tales(y, x)) ^ A
- Q2 1 (4.98 KiB) Viewed 34 times
- Q2 2 (6.19 KiB) Viewed 34 times
Question 2.4 3x(Bananas(x) A Yellow(x) Ripe(x)) Question 2.5 3x(Men(x) Vy(Men Tell(y) ^ (x=y) → Tales(y, x)) ^ A