true or false: conditional claims = causal claims
false
true or false: necessary and sufficient conditions are conditional claims
true
how to say “p is sufficient for q”?
P->Q
how to say “p is necessary for q”?
Q->P
what is the contrapositive?
P->Q ==> ~Q->~P
what is the boolean definition of conditional?
P->Q ==> ~PvQ
how do you prove a conditonal?
assume the antecedent and prove the consequent
->Intro;1-10
cite entire subproof
how to prove X<->Y
<->Intro;1-3,4-6
do 2 subproofs