BICONDICIONAL
EQUIVALENCIA
IMPLICACION
PROPOSICION
CONJUNCION
SIMBOLICA
DISYUCION
NEGACION
CALCULO
LOGICA
VERDAD
TABLA
N
Y
B
E
S
U
A
M
U
L
V
U
I
A
I
D
N
D
L
Y
N
T
C
O
A
E
E
U
B
O
Z
F
A
I
E
S
A
G
U
A
I
M
P
L
I
C
A
C
I
O
N
U
G
T
N
G
H
K
X
S
I
M
B
O
L
I
C
A
C
D
A
Q
O
I
S
V
V
E
F
Z
S
T
I
P
X
K
M
H
C
E
I
I
O
E
O
Q
Z
F
O
E
E
C
V
P
F
E
I
N
C
E
J
R
I
U
I
V
E
A
V
U
A
H
V
M
O
O
I
L
B
D
U
I
X
X
G
C
A
L
C
U
L
O
N
I
D
J
H
A
L
V
U
D
E
W
I
U
U
C
X
N
O
C
N
W
T
D
Z
A
F
T
N
W
E
K
I
O
U
U
I
U
O
A
N
E
C
L
U
I
U
I
B
S
B
N
L
U
C
Y
C
X
I
H
E
E
Y
V
Z
O
T
N
P
J
N
I
I
S
I
S
Z
C
R
N
O
E
A
Y
A
Y
W
U
W
Z
S
I
B
A
A
E
A
C
D
O
C
Q
A
A
A
N
X
I
O
D
Y
T
E
I
W
I
S
M
I
O
N
P
D
C
V
P
P
I
U
E
E
N
I
A
J
E
G
O
U
U
N
I
I
N
O
C
F
M
F
I
E
P
P
P
O
J
F
Z
X
O
E
P
R
U
D
I
L
T
A
B
L
A
L
E
I
C
Y
N
K
Q
P
G
