Multiple Choice
Everything is material, or ideal or transcendental. All atoms are not ideal and not transcendental. And nothing is material. So there are no atoms.
-Which of the following is the best translation into M of this argument?
A) (∀x) [Mx (Ix Tx) ] (∀x) [Ax ⊃ (∼Ix • ∼Tx) ]
∼(∃x) Mx / ∼(∃x) Ax
B) (∀x) [Mx (Ix Tx) ] (∀x) [Ax ⊃ (∼Ix • ∼Tx) ]
∼(∀x) Mx / ∼(∀x) Ax
C) (∀x) [Mx (Ix Tx) ] (∀x) [Ax ⊃ ∼(Ix • Tx) ]
∼(∃x) Mx / ∼(∃x) Ax
D) (∀x) [Mx (Ix Tx) ] (∀x) [Ax ⊃ ∼(Ix • Tx) ]
∼(∀x) Mx / ∼(∃x) Ax
E) (∀x) [Mx (Ix Tx) ] (∀x) [Ax ⊃ (∼Ix • ∼Tx) ]
∼(∃x) Mx / ∼(∀x) Ax
Correct Answer:

Verified
Correct Answer:
Verified
Q26: refer to the following formula: (∃x)[Mx
Q27: derive the conclusions of each of the
Q28: 1. (∀x)(Px ⊃ Qx)<br>2. ∼(∃x)[(Px • Rx)
Q29: derive the conclusions of each of
Q30: If some journalists are not respectable,
Q32: If anything is stuck in traffic,
Q33: 1. (∀x)(Ax ⊃ Bx)<br>2. (∃x)Ax<br>3. (∃x)Bx ⊃
Q34: provide a conterexample in a finite
Q35: Translate each sentence into predicate logic, using
Q36: 1. (∃x)(Hx • ∼Ix)<br>2. (∀x)(Hx ⊃ Jx)<br>3.