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