COMPUTACIONAL
PROPOSICION
DISYUNCION
COMPUESTAS
PREDICADOS
CONJUNCION
CONECTORES
PREMISAS
NEGACION
LOGICA
A
A
K
T
I
X
F
I
N
E
G
A
C
I
O
N
A
E
G
G
I
I
F
I
U
N
P
A
E
R
J
H
U
E
P
D
I
S
Y
U
N
C
I
O
N
N
M
S
N
O
A
C
O
N
J
U
N
C
I
O
N
K
J
U
J
U
O
D
C
V
K
E
S
A
O
G
E
Z
N
Q
O
V
B
E
U
S
K
C
E
A
U
M
I
C
A
O
E
H
W
U
M
K
O
C
E
E
S
K
P
Z
O
L
I
U
G
P
T
D
L
D
O
L
D
I
I
U
B
M
O
C
U
S
B
K
A
D
A
N
E
U
M
O
T
M
P
G
I
Y
E
I
L
O
E
C
E
U
E
E
R
A
Y
U
I
S
Y
F
A
F
L
Z
I
C
S
Y
R
Z
C
O
E
C
O
S
K
S
K
M
O
D
T
U
L
P
U
I
E
S
A
P
S
I
A
U
I
R
E
O
Y
O
X
I
O
O
T
U
O
U
V
W
O
E
B
R
R
O
H
O
I
N
H
A
E
R
I
N
P
G
E
U
P
E
O
J
C
B
A
B
S
Y
P
W
O
O
D
Y
O
L
S
D
E
C
F
L
I
U
F
M
R
I
A
Y
L
Q
H
A
U
H
A
U
O
P
M
M
Z
M
V
X
I
Y
T
