SOLUTION: Complete the following derivation: --THANK YOU!! THIS IS MUCH NEEDED 1. ~[∀x: Ax] Bx 2. [∀x: [∃y: Ay] Rxy] [∃z: Bz] Rxz 3. [∀x: Ax ●

Question 1011026: Complete the following derivation: --THANK YOU!! THIS IS MUCH NEEDED
1. ~[∀x: Ax] Bx
2. [∀x: [∃y: Ay] Rxy] [∃z: Bz] Rxz
3. [∀x: Ax ● ~Bx] [∃y: Cy] Ryx

∴ [∃y: Cy] [∃z: Bz] Ryz
Answer by addingup(3677) (Show Source): You can put this solution on YOUR website!
Very strange symbols in your equations And an equation beginning with the symbol ~ that's even more strange.
RELATED QUESTIONS
I need to help on the following proofs Proof 1 B ∧ F �(B ∧ G)... (answered by Edwin McCravy)

ax+by+bz+ay+bx+az=? (answered by Alan3354)

SOLUTION: Complete the following derivation: --THANK YOU!! THIS IS MUCH NEEDED 1. ~[&#8704;x: Ax] Bx 2. [&#8704;x: [&#8707;y: Ay] Rxy] [&#8707;z: Bz] Rxz 3. [&#8704;x: Ax &#9679;