Set the Table
a listing of all possible truth values for a set of one or more
what is a truth table?
p and q
therefore, p
what is simplification?
p and q if and only if q and p
what is commutation?
T·F
what is false?
·
What is a conjunction?
when you assume a syllogism is invalid in order to test its validity
what is the shorter truth table method?
if p then q
not q
therefore, not p
what is modus tollens?
p if and only if not not p
what is double negation?
TvF
what is true?
v
when you assume that two statements can be true at the same time
what is the truth table method for consistency?
if q then q
if q then r
therefore, if p then r
what is hypothetical syllogism?
p if and only if p or p
p if and only if p and p
what is tautology?
F=F
what is true?
=
what is a biconditional?
when you assume that two statements are opposite truth values
what is the truth table method for equivalence
p or q
not p
therefore, q
what is disjunctive syllogism?
if p then q if and only if not p or q
what is material implication?
what is false?
if...then
what is a conditional?
when all the premises are true but the conclusion is false
what is an invalid syllogism?
if p then q
therefore, if p then p and q
what is absorption?
not p and q if and only if not p or not q
not p or q if and only if not p and not q
what are de morgan's theorems?
~~~~T
what is true
~
what is a negation?