Mathematical Reasoning Flashcards
Declarative statement that is either true or false but not both
Proposition
tile (~)
not
current (^)
and
inverted current (v)
or
single headed arrow (->)
implies
double headed arrow (<–>)
if and only if
defines all the possible truth values
truth table
represent the relationship between the truth values of propositions formed from those propositions
truth table
change the truth value
negation
true if both are true
conjunction
true if one is true
disjunction
true if the truth value are the same
biconditional
true if the truth are the same value and last condition is true
implication
A compound statement if its truth table column consists entirely of entries with (truth values T)
Tautology
A compound statement if its truth table column consists entirely of entries with (truth values F)
Contradiction