Tableaux Rules Flashcards
1
Q
A ^ B
A
A ^ B
A
B
2
Q
~A^B
A
~A^B
/ \
~A ~B
3
Q
A v B
A
AvB
/ \
A B
4
Q
~AvB
A
~AvB
~A
~B
5
Q
A -> B
A
A -> B
/ \
~A B
6
Q
~A->B
A
~A->B
A
~B
7
Q
A B
A
A B
/ \
A B
~A ~B
8
Q
~A B
A
~A B
/ \
A ~A
~B B