1. (∀x) (∀y) [(Px • Py) ⊃ Pf(x,y) ]
2. (∃x) [Px • (∃y) (Py • x≠y • Rxy) ]
-Which of the following propositions is an immediate (one-step) consequence in FF of the given premises?
A) Pf(a) • (∃y) [Py • f(a) ≠x • Rf(a) y]
B) Pa • (∃y) (Py • a≠y • Ray)
C) Pf(a)
D) (∀y) [(Pa • Py) ⊃ Pf(a) ]
E) (∀y) [(Pf(a) • Py) ⊃ Pf(a,y) ]
Correct Answer:
Verified
Q158: 1. (∀x)(∀y){Pf(x,y) ⊃ [Pf(x,x) • Pf(y,y)]}
2. a=f(d,b)
3.
Q159: 1. (∀x)(∀y)[f(x)=y ⊃ (Pax • Qay)]
2. ∼Pab
-Which
Q160: 1. (∀x)(∀y)[f(x)=y ⊃ (Pax • Qay)]
2. ∼Pab
-Which
Q161: 1. (∀x)(∀y)(∀z)[(Pxy • Pyz) ⊃ Pxz]
2. (∀x)Pxf(x)
-Which
Q162: 1. (∀x)(∀y)(∀z)[(Pxy • Pyz) ⊃ Pxz]
2. (∀x)Pxf(x)
-Which
Q164: 1. (∀x)(∀y)[(Px • Py) ⊃ Pf(x,y)]
2. (∃x)[Px
Q165: 1. (∀x){Px ⊃ (∃y)[Py • f(x)=y]}
2. Pa
Q166: 1. (∀x){Px ⊃ (∃y)[Py • f(x)=y]}
2. Pa
Q167: 1. (∀x)[(Px • Qx) ⊃ Rf(x)]
2. (∀x)[Rx
Q168: 1. (∀x)[(Px • Qx) ⊃ Rf(x)]
2. (∀x)[Rx
Unlock this Answer For Free Now!
View this answer and more for free by performing one of the following actions
Scan the QR code to install the App and get 2 free unlocks
Unlock quizzes for free by uploading documents