Time remaining:
Logic Theorem; Construct Proof

Philosophy
Tutor: None Selected Time limit: 0 Hours

∴ (x)(Ax→~Bx)↔(y)(Ay→~By)

Jan 4th, 2015


Logic Theorem; Construct Proof
? (x)(Ax?~Bx)? (y)(Ay?~By)

Answer

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

please best

Jan 6th, 2015

Did you know? You can earn $20 for every friend you invite to Studypool!
Click here to
Refer a Friend
...
Jan 4th, 2015
...
Jan 4th, 2015
Dec 5th, 2016
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer