Multiple Choice
All philosophers respect each other. Some philosopher doesn't study some philosopher. Anything which respects something without studying it is open-minded, if ignorant. So something is open-minded and ignorant. (Ix: x is ignorant; Ox: x is open-minded; Px: x is a philosoper; Rxy: x respects y; Sxy: x studies y)
-Which of the following propositions is an immediate (one-step) consequence in F of the
Given premises?
A) Ox • Ix
B) (∀y) [(Px • Py) ⊃ (Ryy • Ryy) ]
C) (∃y) [(Px • Py) ~ Sxy]
D) Pa • (∃y) (Py • ∼Say)
E) (∀y) [(Rxy • ~Sxy) ⊃ (Ox Ix) ]
Correct Answer:

Verified
Correct Answer:
Verified
Q80: use:<br>b: Britain <br>c: Charles <br>e: Elizabeth <br>t:
Q81: construct a model for each of the
Q82: select the best translation into predicate logic,
Q83: select the best translation into predicate logic,
Q84: 1. (∀x)[(Hx • x≠a) ⊃ Jax]<br>2. Hb
Q86: 1. (∀x)(∀y)(∀z)[(Pxy • Pyz) ⊃ Pxz]<br>2. (∀x)Pxf(x)<br>-Which
Q87: select the best translation into predicate
Q88: select the best translation into predicate
Q89: 1. (∀x)[Ax ⊃ (∀y)(By ⊃ Cxy)]<br>2. (∃x)[Ex
Q90: 1. (∀x)(∀y)(∃z)Sf(x)yz<br>2. (∀x)(∀y)(∀z)[Sxyz ⊃ ∼(Cxyz