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.1 vx [(Banana(x) Yellow(x)] → [vy((Banana(y) Yellow(y))→→ Ripe(y)) → Ripe(x))] Question 2.2 vx[Hen(x) → 3y(Egg(y) ^ Lays(x, y))] A Question 2.3 3x (Farmer(x) ^ Keeps(x, Bananas)) 3x (Farmer(x) Keeps(x, Eggs))
- Q2 1 (4.98 KiB) Viewed 65 times
- Q2 2 (17.61 KiB) Viewed 65 times
- Q2 3 (9.79 KiB) Viewed 65 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.1 vx [(Banana(x) Yellow(x)] → [vy((Banana(y) Yellow(y))→→ Ripe(y)) → Ripe(x))] Question 2.2 vx[Hen(x) → 3y(Egg(y) ^ Lays(x, y))] A Question 2.3 3x (Farmer(x) ^ Keeps(x, Bananas)) 3x (Farmer(x) Keeps(x, Eggs))