Discrete Mathematics - Valid and Invalid Arguments

In this section, valid and invalid argument forms are discussed.  The notes for this section can be found here.

**Note: There is an error for elimination in the document.  It should be therefore q instead of therefore not q under p v q, not p.  Also, it should be therefore p instead of therefore not p under p v q, not q.  My apologies for this error.

Elimination

p v q                                p v q

~p                                    ~q

therefore q                       therefore p