Assignment 3
2022
Unique No.: 185140
Due date: 31/08/2022
, Preview…
Question 1
1.1.
If any bananas are yellow, then some bananas are ripe.
∃x(Banana(x) 𝖠 Yellow(x)) => ∃y(Banana(y) 𝖠 Ripe(y))
Explanation
∃x: Denotes some x or there exists x
𝖠: Denotes conjunction symbol
1.2.
If all ripe bananas are yellow, some yellow things are ripe.
∀x((Banana(x) 𝖠 Ripe(x) => Yellow(x)) => ∃y(Yellow Things(y) 𝖠 Ripe(y))
Explanation:
∀x: Denotes all x
∃y: Denotes some y or there exists y
𝖠: Denotes conjunction symbol