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