The following sentences are all tautologies, and so should be provable in F. Alt

Question

The following sentences are all tautologies, and so should be provable in F. Although the informal proofs are relatively simple, F makes fairly heavy going of them, since it forces us to prove even very obvious steps. Use Fitch to construct formal proofs. You may want to build on the proof of Excluded Middle. Alternatively, with the permission of your instructor, you may use Taut Con, but only to justify an instance of Excluded Middle. The Grade Grinder will indicate whether you used Taut Con or not.

The proof has no premises, and the goal is: (A ^ B) v ~A ^ ~B

I'm not exactly sure what steps to take with this proof. Please help.

Explanation / Answer

LAST COLOUMN IS THE FINAL ANSWER OF GIVEN REASONING

Related Questions

Navigate

• Browse (All)
• Browse T
• Subjects

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.