Question: Let ()W(x) be the statement x weighs more than 4000 kg , where the domain is the set of all elephants. Translate the following
Let ()W(x) be the statement " x weighs more than 4000 kg" , where the domain is the set of all elephants. Translate the following English statements into logical expressions (that use predicates, quantifiers, logical connectives, etc).
(a) No elephant weighs more than 40004000 kg.
(b) There are (at least) two distinct elephants that weigh more than 40004000 kg.
(c) There are exactly two elephants that weigh more than 40004000 kg.
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
