7.1-7.3 Flashcards
Truth table
Used to determine the truth or falsity of a complicated statement based on the truth or falsity of its simple components
Two-valued logic
Every statement is either True or False.
Conjunction
“And”, true when both statements are true, ^
Disjunction
“Or”, true when @ least 1 statement is true, V
Negation
“Not”, ~
Inclusive “or”
Doing 1/other/both
When is p –> q not true?
When p is true and q is false
Tautology (rule of logic)
A formula which is “always true” - all the end results are true
P < – > q
Both P and Q r equivalent. True if P and Q are both true or both false
Contradiction
Opposite of a tautology, a formula which is “always false”
What are p and q called in p –> q?
p - hypothesis, q - conclusion
4 ways to rewrite a statement
1) If p, then q 2) Every p has q. 3) The fact that p, implies that q 4) p iff q
converse
q –> p
inverse
~p –> ~q
contrapositive
~q –> ~p
Direct Argument
p –> q p … q