Solved

1. (∀X)(∀y)[f(x)=y ⊃ (Pax • Qay)]

Question 122

Multiple Choice

1. (∀x) (∀y) [f(x) =y ⊃ (Pax • Qay) ]
2. ∼Pab
-Which of the following propositions is an immediate (one-step) consequence in FF of the given premises?


A) ∼Paa
B) ∼Paf(b)
C) (∀y) [f(x) =f(x) ⊃ (Paf(x) • Qaf(x) ) ]
D) (∀y) [x=y ⊃ (Pax • Qay) ]
E) (∀y) [f(b) =y ⊃ (Pab • Qay) ]

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions

Q117: derive the conclusions of each of the

Q118: 1. (∃x)(Ax • Bx • Cax)<br>2. (∀x)[(Ax

Q119: All cheetahs are faster than some tigers.

Q120: use the following translation key to write

Q121: select the best translation into predicate

Q123: determine whether the given argument is

Q124: 1. (∀x)(∀y){Pf(x,y) ⊃ [Pf(x,x) • Pf(y,y)]}<br>2. a=f(d,b)<br>3.

Q125: use the following translation key to write

Q126: use the following translation key to write

Q127: 1. (?x)(?y)[f(x)=y ? (Pax • Qay)]<br>2. ?Pab