4) Natural Deduction for Propositional Logic Flashcards
1
Q
∧Intro
A
2
Q
∧Elim1 + ∧Elim2
A
3
Q
→Intro
A
4
Q
→Elim
A
5
Q
∨Intro1 + ∨Intro2
A
6
Q
∨Elim
A
7
Q
¬Intro
A
8
Q
¬Elim
A
9
Q
↔Intro
A
10
Q
↔Elim1 + ↔Elim2
A
