TABLA SEMÁNTICAS Flashcards
1
Q
Alpha
A
A^B // no(A -> B) // no(AvB) // no no A
2
Q
Beta
A
AvB // A -> B // no(A^B)
3
Q
A^B
A
A
B
4
Q
no(A -> B)
A
A
no B
5
Q
no(AvB)
A
no A
no B
6
Q
no no A
A
A
7
Q
AvB
A
A // B
8
Q
A -> B
A
no A // B
9
Q
no (A^B)
A
no A // no B
