Logic Theorem; Construct Proof
? (x)(Ax?~Bx)? (y)(Ay?~By)
1. ∀x∃y (Ax > By) Premise
I 2. ∀xAx Assumption
I 3. Ac 2 Universal Instantiation
I 4. ∃y(Ac > By) 1 Universal Instantiation
I 5. Ac > Bd 4 Existential Instantiation
I 6. Bd 3, 5 Modus Ponens
I 7. ∃yBy 6 Existential Generalization
8. ∀xAx > ∃yBy
2,7 Conditional Proof
Content will be erased after question is completed.
Enter the email address associated with your account, and we will email you a link to reset your password.
Forgot your password?