Q1 ( 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,...

Provide me solution thanks

Extracted text: Q1 ( 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 4000 kg. (b) There are (at least) two distinct elephants that weigh more than 4000 kg. (c) There are exactly two elephants that weigh more than 4000 kg.