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 ●

Algebra ->  Proofs -> 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 ●       Log On


   

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) About Me  (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.