Math Logic 5-19-13

Card Set Information

Author:
r2484550
ID:
220307
Filename:
Math Logic 5-19-13
Updated:
2013-05-19 21:08:16
Tags:
Math
Folders:

Description:
Math
Show Answers:

Home > Flashcards > Print Preview

The flashcards below were created by user r2484550 on FreezingBlue Flashcards. What would you like to do?


  1. Negate
    Inverse
  2. Switch
    Converse
  3. Switch and negate
    Contrapositive
  4. Shows all possible outcomes of a statement
    Truth table
  5. All outcomes are true
    Tautology
  6. All outcomes are false
    Contradiction
  7. m --> p
    m
    C: p
    Law of detachment
  8. s --> r
    ~r
    C: ~s
    Modus tollens
  9. x --> y
    y --> z
    C: x --> z
    Chain rule
  10. p v s       p v s        p v s         ~p v s
    ~p          ~s           p              ~s
    C: s         C: p         C: s          C: ~p
    Law of disjunctive inference
  11. p ^ q      p ^ q
    C: p        C: q
    Law of simplification
  12. p
    q
    C: p ^ q
    Law of conjunction
  13. p
    C: p v x <-- anything may go here
    Law of disjunctive addition
  14. ~~p
    C: p
    Law of double negation
  15. ~(p v q)            ~(~p ^ q)
    C: ~p ^ ~q        C: p v ~q
    DeMorgan's Rule
  16. a ^ (b ^ c)            a ^ (b v c)
    C: (a ^ b) ^ c        C: (a v b) v c
    Associative property
  17. a ^ (b v c)                 a v (b ^ c)
    C: (a ^ b) v (a ^ c)     C: (a v b) ^ (a v c)
    Distributive property

What would you like to do?

Home > Flashcards > Print Preview