p p --> q --------- q
``If it snows today, then we will go skiing'' ``It is snowing today'' ----------------------------------------------- ``We will go skiing''
p ^ q ------- p
``It is below freezing and raining now'' ----------------------------------------- ``It is below freezing now''
~q p --> q --------- ~p
p --> q q --> r --------- p --> r
p V q ~p --------- q
--> x = k X 6 for some k in Z, by definition of division --> x = k X (2 X 3) known fact about numbers --> x = (k X 2) X 3 known property of multiplication --> x = m X 3 where m = k X 2 is an integer --> x is divisible by 3
p only if q ~q --> ~p = p --> q p if q q --> p p is sufficient for q p --> q p is necessary for q q --> p p is sufficient and necessary p <--> q for q (i.e. p if and only if q)