First-Order Logic sample proof exercises

Chapter 32, Exercise E

Provide a proof of each claim.

Chapter 34, Exercise A

Provide a proof of each claim.

Return to main demo page.