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