Derivation rules Flashcards
1
Q
- P
* P
A
Reiteration (R)
2
Q
- P & Q
* P
A
Conjunction Elimination (&E)
3
Q
- P
- Q
- P & Q
A
Conjunction Introduction (&I)
4
Q
- P
* P v Q
A
Disjunction Introduction (vI)
5
Q
- P > Q
- P
- Q
A
Conditional Elimination (>E)
6
Q
- P /// Q
- P
- Q
A
Biconditional Elimination (///E)
7
Q
- |P
- | Q
- P > Q
A
Conditional Introduction (>I)
8
Q
- |P
- | Q
- | ~Q
- ~P
A
Negation introduction (~I)
9
Q
- |~P
- | Q
- | ~Q
- p
A
Negation Elimination (~E)
10
Q
- P v Q
- |P
- | R
- |Q
- | R
- R
A
Disjunction Elimination (vE)
11
Q
&
A
Conjunction
12
Q
V
A
Disjunction
“or”
13
Q
>
A
Conditional
“if… then”
14
Q
<>
or
///
A
Biconditional
