1. (∃x) [Dx • (∀y) (Ey ⊃ Fxy) ]
2. (∀x) (Dx ⊃ Ex)
-Which of the following propositions is derivable from the given premises in F?
A) (∀x) (∀y) [(Dx • Dy) ⊃ Fxy]
B) (∀x) (Dx ⊃ Fxx)
C) (∀x) [Ex ⊃ (∃y) Fxy]
D) (∀x) [Ex ⊃ (∀y) Fyx]
E) (∃y) (Ey • Fyy)
Correct Answer:
Verified
Q41: 1. (∀x)[Ex ⊃ (∀y)(Fy • Gxy)]
2. (∃x)(Ex
Q42: 1. (∀x)[Ex ⊃ (∀y)(Fy • Gxy)]
2. (∃x)(Ex
Q43: 1. (∀x)(∃y)Axy ⊃ (∀x)(∃y)Bxy
2. (∃x)(∀y)∼Bxy
-Which of the
Q44: 1. (∀x)(∃y)Axy ⊃ (∀x)(∃y)Bxy
2. (∃x)(∀y)∼Bxy
-Which of the
Q45: 1. (∃x)[Dx • (∀y)(Ey ⊃ Fxy)]
2. (∀x)(Dx
Q47: 1. (∀x)[(Cx • Exa) ⊃ Dx]
2. Cd
Q48: 1. (∀x)[(Cx • Exa) ⊃ Dx]
2. Cd
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