LOGICASIMBOLICA
AXIOMATIZACION
SIMBOLIZACION
FORMALIZACION
CALCULO
O
O
L
T
N
I
K
I
D
X
F
W
U
J
O
C
A
O
U
O
A
I
C
N
K
A
V
O
A
E
A
S
X
Q
O
Q
G
L
O
E
O
R
T
I
R
E
S
V
E
O
E
E
K
I
U
I
S
I
L
C
T
M
H
U
M
O
T
Z
H
O
C
Z
E
J
C
E
I
Q
A
W
D
J
K
U
L
D
O
A
E
V
O
A
B
A
A
L
Z
U
W
L
E
Q
U
L
S
U
X
R
Z
X
K
J
I
M
U
A
N
E
G
E
U
I
O
V
A
I
H
A
D
Z
P
F
E
A
V
I
K
C
M
X
I
U
T
D
E
M
A
K
I
D
I
R
N
Q
L
B
U
U
D
A
X
S
O
C
H
D
P
U
F
S
X
A
O
J
G
Z
M
J
L
I
I
U
O
T
O
L
Q
U
C
L
U
I
W
O
I
U
R
O
D
H
M
L
E
U
A
O
I
O
S
H
I
I
O
W
N
C
A
O
V
V
E
M
O
C
M
E
C
X
I
S
Z
A
O
X
L
I
Y
U
R
O
A
T
U
W
A
W
I
D
Z
U
R
X
A
T
D
E
F
X
R
O
J
E
I
R
O
H
I
E
A
A
A
F
U
K
X
S
I
M
B
O
L
I
Z
A
C
I
O
N
I
