Chapter 3.4-3.5 Flashcards
Modus ponens
p —> q
p
∴ q
modus Tollens
p —> q
~ q
∴ ~ p
Law of syllogism
p —> q
q —> r
∴ p —> r
disjunctive syllogism
p V q
~ p
∴ q
fallacy of the converse
p —> q
q
∴ p
fallacy of the inverse
p —> q
~p
∴ ~q
Valid or invalid?
p —> q
~p
∴ ~q
invalid, fallacy of the inverse
Valid or invalid?
p —> q
q
∴ p
invalid, fallacy of the converse
Valid or invalid?
p V q
~ p
∴ q
valid, disjunctive syllogism
Valid or invalid?
p —> q
q —> r
∴ p —> r
valid, Law of syllogism
Valid or invalid?
p —> q
~ q
∴ ~ p
valid, modus Tollens
Valid or invalid?
p —> q
p
∴ q
valid, modus ponens
Equivalent form of:
p –> q
~ p V q
Negation of Conditional
p Λ ~q
Equivalent form of:
p ↔ q
(p —> q) Λ (q —> p)
Converse of p —> q
q —> p
Inverse of p —> q
~p —> ~q
Contrapositive of p —> q
~q —> ~p
What is equivalent to the converse?
the inverse
What is equivalent to the inverse?
the converse
What is equivalent to the contrapositive?
the direct conditional
What is equivalent to the direct conditional?
the contrapositive