Ch. 7 Flashcards
(46 cards)
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
postulate
a statement assumed to be true w/out proof
Addition Property of Equality
If the same # is added to equal #’s, the sums r equal a = b –> a + c = b + c
Subtraction Property of Equality
If the same # is subtracted from equal #’s, the differences r equal. a = b –> a - c = b - c
Multiplication Property of Equality
If equal #’s r multiplied by the same #, the products r equal a = b –> ac = bc
Division Property of Equality
If equal #’s are divided by the same nonzero #, the quotients are equal. a = b and c_0 –> a/c = b/c
Reflexive Property of Equality
A # is equal to itself. a = a


