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.
Names Banana Farmer Eggs Hens Men Thabang Logic Student English Predicates x is nipe x is yellow x is dead x is tell x is worth selling x keeps y x are yellow things x lays y x tales y x is failed banana farmer eggs hens men thabang logic student Ripe(x) Yellow(x) Dead(x) Tell(x) FOL WorthSelling(x) Keeps(x, y) YellowThings(x) Lays(x, y) Tales(x, y) Failed(x) 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 69 times
- Q2 2 (17.61 KiB) Viewed 69 times
- Q2 3 (6.19 KiB) Viewed 69 times
Names Banana Farmer Eggs Hens Men Thabang Logic Student English Predicates x is nipe x is yellow x is dead x is tell x is worth selling x keeps y x are yellow things x lays y x tales y x is failed banana farmer eggs hens men thabang logic student Ripe(x) Yellow(x) Dead(x) Tell(x) FOL WorthSelling(x) Keeps(x, y) YellowThings(x) Lays(x, y) Tales(x, y) Failed(x) 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