{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Propositional_Logic

# Propositional_Logic - colder premise(2 swimming → sunny...

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

CMPSC 360 Discrete Mathematics for Computer Science Fall 2009 Penn State University Proof Rules A B B C A C ( → - syllogism ) A B ¬ A B ( ∨- syllogism ) A B ¬ B A ( ∨- syllogism ) A B ¬ A C B C ( resolution ) A B A ( ∧- elim ) A B B ( ∧- elim ) A B A B ( ∧- intro ) A A B ( ∨- intro ) B A B ( ∨- intro ) P Q P R Q R R ( ∨- elim ) P Q P Q ( modusponens ) P Q ¬ Q ¬ P ( modustollens ) P ( ⊥- elim ) ¬ P → ⊥ P ( by - contra ) Example Proof: (1) ¬ sunny
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: colder ( premise ) (2) swimming → sunny ( premise ) (3) ¬ swimming → canoetrip ( premise ) (4) canoetrip → homebysunset ( premise ) (5) ¬ sunny ( ∧-elim-1) (6) ¬ swimming ( modustollens-2 , 5) (7) canoetrip ( modusponens-3 , 6) (8) homebysunset ( modusponens-4 , 7)...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online