Math Logic 5-19-13

Home > Preview

The flashcards below were created by user r2484550 on FreezingBlue Flashcards.


  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

Card Set Information

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

Description:
Math
Show Answers:

What would you like to do?

Home > Flashcards > Print Preview