1
PRINCIPIOSLOGICOS
2
TABLADEVERDAD
3
CONTRADICCION
4
INCOMPLETITUD
5
CONTINGENCIA
6
DEMOSTRACION
7
RAZONAMIENTO
8
PROPOSICION
9
TAUTOLOGIA
10
CAUSALIDAD
11
KURTGODEL
12
IDENTIDAD
13
SILOGISMO
14
PARADOJA
15
TEOREMA
16
AXIOMA
17
LOGICA
Z
F
H
L
U
L
I
R
U
O
J
V
Z
A
V
A
Q
G
O
Z
O
H
V
B
A
R
O
W
V
U
A
W
O
H
V
Q
S
P
V
R
R
Q
A
O
D
U
E
R
P
D
Y
J
R
A
Z
O
N
A
M
I
E
N
T
O
C
H
H
E
I
Q
L
A
O
I
I
H
O
U
E
F
C
T
E
E
A
L
I
A
M
R
M
Z
I
E
R
R
N
D
K
W
S
Q
F
W
I
C
T
W
I
A
U
S
C
O
A
I
A
A
H
C
E
S
O
R
H
S
E
A
E
X
L
U
X
S
O
U
S
O
K
T
D
P
O
N
U
X
A
L
C
N
I
C
G
A
M
V
A
U
E
T
B
I
A
O
F
M
T
A
N
Y
Q
H
U
W
E
R
A
T
H
L
I
A
R
H
E
B
J
V
P
I
P
H
O
E
Y
Z
I
P
Z
X
K
O
I
I
W
A
N
O
L
A
E
L
D
C
L
J
Z
G
O
O
R
T
E
R
M
D
O
B
C
O
Q
A
M
D
E
A
V
Q
S
O
V
N
E
O
A
E
A
I
A
A
U
I
E
O
D
E
Y
T
D
Q
P
B
N
L
C
M
P
O
B
K
P
D
J
C
O
A
D
E
P
R
I
N
C
I
P
I
O
S
L
O
G
I
C
O
S
T
I
N
X
U
V
V
U
T
K
O
F
I
Z
P
I
O
S
U
X
N
J
A
W
L
Q
I
X
E
H
C
U
U
Z
L
H
C
O
N
T
I
N
G
E
N
C
I
A
I
O
H
R
Y
E
D
E
G
O
S
K
I
Y
I
C
K
X
K
O
V
D
V
U
M
Y
D
S
I
L
O
G
I
S
M
O
G
I
I
Q
A
L
A
D
I
Y
M
A
A
A
O
S
N
Z
H
E
O
A
P
B
F
O
U
C
F
E
Z
G
L
O
E
K
D
L
O
G
I
C
A
O
V
G
J
E
N
B
J
P
E
U
R
I
U
I
Q
U
I
K
U
R
T
G
O
D
E
L
F
Q
N
C
Q
Y
I
U
D
A
D
W
E
C
O
N
T
R
A
D
I
C
C
I
O
N
T
E
O
R
E
M
A
V
R
Y
I
I
O
B
I
H
Y
E
I
U
A
G
T
O
L
P
P
Z
V
I
O
I
G
T
O
X
J
M
P
Y
I
V
E
O
T
A
U
T
O
L
O
G
I
A