Logic Theorem; Construct Proof

User Generated

zfphfrr

Humanities

Description

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

User generated content is uploaded by users for the purposes of learning and should be used following Studypool's honor code & terms of service.

Explanation & Answer


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


Anonymous
Nice! Really impressed with the quality.

Studypool
4.7
Trustpilot
4.5
Sitejabber
4.4

Related Tags