PROPOSICION
CONCLUSION
SIMBOLIZAR
SIMBOLICO
LENGUAJE
VARIABLE
NOTACION
PREMISA
NATURAL
LOGICA
O
U
Z
P
V
O
W
A
S
I
M
E
R
P
Q
E
F
A
U
I
Y
K
O
O
T
D
A
A
H
P
C
R
H
S
O
A
L
Z
D
A
A
A
S
G
U
U
A
C
G
S
W
L
C
O
N
C
L
U
S
I
O
N
E
I
H
U
K
P
L
U
O
V
A
C
R
A
C
A
N
N
E
P
U
E
H
O
C
I
L
O
B
M
I
S
V
O
L
R
O
S
L
E
L
O
O
P
E
C
O
R
I
I
Y
O
I
A
Z
R
E
A
O
T
D
I
O
A
I
C
A
P
A
M
U
E
N
Z
V
J
U
E
X
Z
N
A
U
O
U
G
E
C
G
Y
I
O
I
N
A
I
A
T
X
S
O
M
W
W
U
H
I
Q
J
U
B
L
T
O
A
I
C
U
W
L
A
A
T
O
A
F
I
O
U
N
E
C
K
E
R
A
J
L
O
G
I
C
A
B
R
G
I
I
M
A
A
U
E
I
F
M
I
Q
W
M
A
U
K
O
M
U
Y
E
W
D
U
O
G
N
I
I
L
L
A
N
U
C
U
V
A
R
I
A
B
L
E
S
J
O
