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