Ch. 7 Flashcards
conjunction
“and”, ^, true when both statements r true
disjunction
“or”, V, true when @ least 1 statement is true
negation
~, “not”
Inclusive “Or”
doing 1/other/both
4 ways to rewrite p –> q
If p, then q Every p has q The fact that p implies that q p iff q
converse
q –> p
inverse
~p –> ~q
contrapositive
~q –> ~p
Direct Argument
p –> q
p
… q
Indirect Argument
p –> q
~q
… ~p
Chain Rule
p –> q
q –> r
… p –> r
Or Rule
p V q
~p
…q
p V q
~q
… p
Venn diagram placement for conditionals/implications
biconditional rules
p iff q
q
… p
p iff q
p
… q
p iff q
~p
… ~q
p iff q
~q
… ~p
good definition
built from a true conditional with a true converse
two-column proof
a proof written in 2 columns. statements are listed in 1 column & justifications r listed in the other column
paragraph proof
a proof whose statements & justifications r written in paragraph form
flow proof
a proof written as a diagram using arrows to show the connections b/w statements. #’s written over the arrows refer to a #-ed list of the justifications 4 the statements