Reference no: EM132288500

Let the domain of discourse be trains. Let's define the predicates Diesel(x) and Electric(x) to mean that x is a diesel-driven or electric-driven train, respectively. Define the predicates Passenger(x), Cargo(x), and Mail(x) to mean that x carries passengers, cargo or mail, respectively. Translate each of the following logical statements into English. You should not simplify. However, you should use more natural translations when restricting domains and for avoiding the introduction of variable names when not really necessary.

a)∀x ((Diesel(x) ∧ Cargo(x)) → ¬ Passenger(x))

b) ¬∃x (¬(Passenger(x) ∧ Mail(x)) ∧ ¬ Cargo(x))