FORMAL LOGIC 1. Construct a valid argument in English the validity of which can be captured in first-order predicate logic but not in propositional logic. 2. a. Translate the argument into...

FORMAL LOGIC

1. Construct a valid argument in English the validity of which can be captured in first-order predicate logic but not in propositional logic.

2. a. Translate the argument into propositional logic (L1).

b. Translate the argument into first-order predicate logic (L3).

PS: a. Specify the key clearly in each translation.

b. Let the translations be as expressive as possible (i.e., make every possible logical operator explicit).

3. Show that the argument loses its validity when translated into propositional logic using a truth- table.