15A Biconditional rules

15A Biconditional rules - establish a biconditional One...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
CS103A: Missing Slide from 1/28/08 This slide shows the inference rules for biconditionals. The Elimination rule says that if you have a biconditional and you have one side, you can assert the other side in your proof. The Introduction rule shows that, just as you would expect, it takes two subproofs to
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: establish a biconditional. One subproof establishes P → Q, and the other establishes Q → P. That allows us to assert the biconditional. Note that we don’t actually write the conditionals; it is the subproofs that we cite as support. Please note also that the due date for PS4 is Friday, Feb 1 ....
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online