CONTRADICCION
CUANTIFICADOR
EXISTENCIAL
PROPOSICION
IMPLICACION
TAUTOLOGIA
DISYUNCION
UNIVERSAL
ENUNCIADO
NEGACION
H
O
L
S
M
K
C
A
G
K
B
Z
F
U
U
B
G
F
C
E
U
J
S
H
P
U
I
S
C
Z
F
H
E
O
X
M
U
W
N
A
S
L
A
S
R
E
V
I
N
U
O
A
R
Z
E
X
I
S
T
E
N
C
I
A
L
K
F
V
J
V
C
L
O
F
N
T
E
Z
E
C
I
A
X
E
F
T
X
O
U
E
E
Y
A
Y
J
Z
I
E
A
U
U
D
X
R
N
A
A
I
P
H
O
W
N
J
U
R
Y
S
U
K
T
T
Z
U
N
U
L
R
F
U
X
O
A
O
K
D
A
S
R
M
P
P
T
A
N
W
O
K
S
O
I
U
J
I
O
A
A
W
O
D
I
E
O
O
U
P
I
E
K
C
G
C
D
J
E
P
E
I
F
I
I
V
E
I
O
I
E
O
A
I
O
N
Q
W
L
Q
I
G
C
G
B
X
X
S
L
I
C
C
U
Y
E
A
N
H
C
O
N
U
A
S
C
O
I
C
E
N
I
K
R
U
R
I
A
X
U
G
C
C
T
L
I
C
C
U
Y
L
U
O
N
B
D
L
Y
J
O
U
B
O
H
I
I
H
B
J
P
Y
O
I
O
W
S
E
A
I
N
U
A
W
U
O
S
N
T
M
A
W
R
K
I
T
E
O
S
D
O
Z
J
O
N
K
X
S
I
T
T
L
D
T
E
X
O
U
O
O
R
E
K
H
L
G
U
G
Q
X
