0
Upcoming SlideShare
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Standard text messaging rates apply

# 7.3 Rules Of Replacement I

3,575

Published on

Course lecture I developed over section 7.3 of Patrick Hurley\'s &quot;A Concise Introduction to Logic&quot;.

Course lecture I developed over section 7.3 of Patrick Hurley\'s &quot;A Concise Introduction to Logic&quot;.

0 Likes
Statistics
Notes
• Full Name
Comment goes here.

Are you sure you want to Yes No
• Be the first to comment

• Be the first to like this

Views
Total Views
3,575
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
0
0
Likes
0
Embeds 0
No embeds

No notes for slide

### Transcript

• 1. 7.3 Rules of Replacement I
• 2. Rules of natural deduction
• Rule #9
• DeMorgan’s Rule (DM)
• ~(P · Q) becomes (~P v ~Q)
• ~(P v Q) becomes (~P · ~Q)
• Rule #10
• Commutativity (Com)
• (P v Q) becomes (Q v P)
• (P · Q) becomes (Q · P)
• Rule #11
• Associativity (Assoc)
• P v (Q v R) becomes (P v Q) v R
• P · (Q · R) becomes (P · Q) · R
• 3. Rules, continued
• Rule #12
• Distribution (Dist)
• P · (Q v R) becomes (P · Q) v (P · R)
• P v (Q · R) becomes (P v Q) · (P v R)
• Rule #13
• Double negation (DN)
• ~~A becomes A
• A becomes ~~A