Math Logic 5-19-13

Negate

Switch

Switch and negate

Shows all possible outcomes of a statement

All outcomes are true

All outcomes are false

m --> p
m
C: p

s --> r
~r
C: ~s

x --> y
y --> z
C: x --> z

p v s       p v s        p v s         ~p v s
~p          ~s           p              ~s
C: s         C: p         C: s          C: ~p

p ^ q      p ^ q
C: p        C: q

p
q
C: p ^ q

p
C: p v x <-- anything may go here

~~p
C: p

~(p v q)            ~(~p ^ q)
C: ~p ^ ~q        C: p v ~q

a ^ (b ^ c)            a ^ (b v c)
C: (a ^ b) ^ c        C: (a v b) v c

a ^ (b v c)                 a v (b ^ c)
C: (a ^ b) v (a ^ c)     C: (a v b) ^ (a v c)