Sequent Introduction Flashcards
1
Q
Si(DS)
A
AvB, ~A |= B
2
Q
A–>B, ~B |= ~A
A
SI(MT)
3
Q
SI(MT)
A
A–>B, ~B |= ~A
4
Q
A |= ~~A
A
(DN+)
5
Q
DN+
A
A|= ~~A
6
Q
DeM 1
A
~(A&B) =|= ~Av~B
7
Q
~(A&B) =|= ~Av~B
A
DeM 1
8
Q
DeM 2
A
~(AvB) =|= ~A&~B
9
Q
~(AvB) =|= ~A&~B
A
DeM 2
10
Q
DeM 3
A
~(~Av~B) =|= A&B
11
Q
~(~Av~B) =|= A&B
A
DeM 3
12
Q
DeM 4
A
~(~A&~B) =|= AvB
13
Q
~(~A&~B) =|= AvB
A
DeM 4
14
Q
Imp
A
A–>B =|= ~AvB
15
Q
A–>B =|= ~AvB
A
Imp
