Chapter 3.4-3.5 Flashcards
1
Q
Modus ponens
A
p —> q
p
∴ q
2
Q
modus Tollens
A
p —> q
~ q
∴ ~ p
3
Q
Law of syllogism
A
p —> q
q —> r
∴ p —> r
4
Q
disjunctive syllogism
A
p V q
~ p
∴ q
5
Q
fallacy of the converse
A
p —> q
q
∴ p
6
Q
fallacy of the inverse
A
p —> q
~p
∴ ~q
7
Q
Valid or invalid?
p —> q
~p
∴ ~q
A
invalid, fallacy of the inverse
8
Q
Valid or invalid?
p —> q
q
∴ p
A
invalid, fallacy of the converse
9
Q
Valid or invalid?
p V q
~ p
∴ q
A
valid, disjunctive syllogism
10
Q
Valid or invalid?
p —> q
q —> r
∴ p —> r
A
valid, Law of syllogism
11
Q
Valid or invalid?
p —> q
~ q
∴ ~ p
A
valid, modus Tollens
12
Q
Valid or invalid?
p —> q
p
∴ q
A
valid, modus ponens
13
Q
Equivalent form of:
p –> q
A
~ p V q
14
Q
Negation of Conditional
A
p Λ ~q
15
Q
Equivalent form of:
p ↔ q
A
(p —> q) Λ (q —> p)
