a) All animal who can bark are dog.
b) Someone is firing a gun
c) All tigers are not fierce
a=>
let:
A(x): x is an animal.
B(x): x can bark.
D(x): x is a dog.
Then, “All animal who can bark are dog.” is:
∀x A(x) ∧ B(x)→ D(x)
b=>
let:
F(x): x is firing.
G(x): x has gun.
∃x F(x) ∧ G(x)
c=>
let:
T(x): x is a Tiger.
F(x): x is fierce.
Then, “All tigers are not fierce” is:
∃x T(x) ∧ ¬ F(x)
Click here to submit your answer.
s