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:
Verified
Q154: 1. (∀x)(∀y)(Bxy ≡ Dyx)
2. (∃x)Bxf(x)
-Which of the
Q155: 1. (∀x){Ax ⊃ [Bx • Bf(x)]}
2. ∼Bf(f(e))
-Which
Q156: 1. (∀x){Ax ⊃ [Bx • Bf(x)]}
2. ∼Bf(f(e))
-Which
Q157: 1. (∀x)(∀y){Pf(x,y) ⊃ [Pf(x,x) • Pf(y,y)]}
2. a=f(d,b)
3.
Q158: 1. (∀x)(∀y){Pf(x,y) ⊃ [Pf(x,x) • Pf(y,y)]}
2. a=f(d,b)
3.
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
Q163: 1. (∀x)(∀y)[(Px • Py) ⊃ Pf(x,y)]
2. (∃x)[Px
Q164: 1. (∀x)(∀y)[(Px • Py) ⊃ Pf(x,y)]
2. (∃x)[Px
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