PHI 1600 Final Prep
0.0(0)
Studied by 0 people
Call Kai
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Knowt PlayCard Sorting
1/18
Earn XP
Description and Tags
19 Terms
1
New cards
Simplification
p & q
\-
q
\-
q
2
New cards
Conjunction
p
q
\-
p & q
q
\-
p & q
3
New cards
Modus Ponens
p -> q
p
\-
q
p
\-
q
4
New cards
Modus Tollens
p -> q
\~q
\-
\~p
\~q
\-
\~p
5
New cards
Addition
p
\-
p V q
\-
p V q
6
New cards
Hypothetical Syllogism
p -> q
q -> r
\-
p -> r
q -> r
\-
p -> r
7
New cards
Constructive Dilemma
p -> r
q -> s
p V q
\-
r V s
q -> s
p V q
\-
r V s
8
New cards
Disjunctive Syllogism
p V q
\~p
\-
q
\~p
\-
q
9
New cards
Double Negation
\~\~p
\-
p
\-
p
10
New cards
Commutativity
p & q
\-
q & p
\-
q & p
11
New cards
Associativity
p & (q & r)
\-
(p & q) & r
\-
(p & q) & r
12
New cards
DeMorgans Law
\~(p & q)
\-
\~p V \~q
\-
\~p V \~q
13
New cards
Distribution
p & (q V r)
\-
(p & q) V (p & r)
\-
(p & q) V (p & r)
14
New cards
Transposition
p → q
\-
\~q → \~p
\-
\~q → \~p
15
New cards
Exportation
(p & q) → r
\-
p → (q → r)
\-
p → (q → r)
16
New cards
Tautology
p V p
\-
p
\-
p
17
New cards
Material Implication
p → q
\-
\~p V q
\-
\~p V q
18
New cards
Material Equivalence
p ↔ q
\-
(p → q) & (q → p)
\-
(p → q) & (q → p)
19
New cards
An argument is valid when
the combination of the premises and the negation of the conclusion is contradictory