Multiple Choice
select the best English interpretation of the given statements of predicate logic, using the following translation key:
t: two
Ox: x is odd
Ex: x is even
Nx: x is a number
Gxy: x is greater than y
-(∀x) {(Ex • Nx) ⊃ (∀y) [(Oy • Ny) ⊃ ∼Gxy]}
A) All even numbers are smaller than all odd numbers.
B) No even number is greater than any odd number.
C) No odd number is greater than any even number.
D) All even numbers are greater than all odd numbers.
E) No even number is greater than every odd number.
Correct Answer:

Verified
Correct Answer:
Verified
Q127: 1. (?x)(?y)[f(x)=y ? (Pax • Qay)]<br>2. ?Pab
Q128: select the best translation into predicate logic,
Q129: select the best translation into predicate logic,
Q130: determine whether the given argument is valid
Q131: derive the conclusions of each of the
Q133: 1. (?x)(?y)(Bxy ? Dyx)<br>2. (?x)Bxf(x) / (?x)Df(x)x
Q134: select the best translation into predicate logic,
Q135: select the best translation into predicate logic,
Q136: 1. Fab • (∀x)(Fax ⊃ x=b)<br>2. ∼Fac<br>-Which
Q137: 1. (∀x)(∀y)(Bxy ≡ Dyx)<br>2. (∃x)Bxf(x)<br>-Which of the