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