conditional
p —> q
converse
q —> p
negation
~p
inverse
~p —> ~q
contrapositive
~q —> ~p
conjunction
p ^ q (p AND q)
disjunction
p V q (p OR q)
for a CONjunction, how many statements must be true in order for the conjunction to be true?for
all
for a DISjunction, how many statements must be true in order for the DISjunction to be true?
only 1
law of detachment
if statement and hypothesis are true, conclusion is also true
law of syllogism
p —> q —> r is true then p —> r is true
biconditional
p ←→ q or q ←→ p
p if and only if q, q if and only if p