Your SlideShare is downloading. ×
0
7.3   Rules Of Replacement I
7.3   Rules Of Replacement I
7.3   Rules Of Replacement I
Upcoming SlideShare
Loading in...5
×

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.
Text the download link to your phone
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 "A Concise Introduction to Logic".

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

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

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

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
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

×