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
16
Q
Neg-imp
A
~(A–>B) =|= A&~B
17
Q
~(A–>B) =|= A&~B
A
Neg-imp
18
Q
Dist 1
A
A & (BvC) =|= (A&B) v (A&C)
19
Q
A & (BvC) =|= (A&B) v (A&C)
A
Dist 1
20
Q
Dist 2
A
A v (B&C) =|= (AvB) & (AvC)
21
Q
A v (B&C) =|= (AvB) & (AvC)
A
Dist 2
22
Q
AvB, ~A |= B
A
SI(DS)
