Derivation Rules
0.0(0)
Studied by 0 people
Call Kai
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Knowt PlayCard Sorting
1/15
There's no tags or description
Looks like no tags are added yet.
16 Terms
1
New cards
^ introduction
2
New cards
^ elimination
3
New cards
=> introduction
4
New cards
=> elimination
5
New cards
not introduction
6
New cards
not elimination
7
New cards
False introduction
8
New cards
False elimination
9
New cards
Double negation introduction
10
New cards
Double negation elimination
11
New cards
Or introduction
12
New cards
Or elimination
13
New cards
<=> Introduction
14
New cards
<=> elimination
15
New cards
Proof by contradiction
16
New cards
Proof by case distinction
