# 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
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
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