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