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