Exam 2 Study Guide Flashcards
Tautology
column under the main operator: all true
Self-Contradictory
column under the main operator: all false
Contingent
column under the main operator: at least one true, at least one false
Logically Equivalent
columns under main operator: same truth value on each line
Contradictory
columns under main operator: opposite truth value on each line
Consistent
columns under main operator: there is at least one line on which the truth values are both true
Inconsistent
there is no line which the truth values are both true
Disjunctive Syllogism
p v q
~p
q
Pure Hypothetical Syllogism
p 3 q
q 3 r
p 3 r
Modus Ponens
p 3 q
p
q
Modus Tollens
p 3 q
~q
~p
Affirming the Consequent
p 3 q
q
p
Denying the Antecedent
p 3 q
~p
~q
Constructive Delimma
(p 3 q) * (r 3 s)
p v r
q v s
Destructive Delimma
(p 3 q) * (r 3 s)
~q v ~s
~p v ~r