BICONDICIONAL
PROPOSICIONES
CONDICIONAL
COMPUESTAS
DISYUNCION
CONJUNCION
LENGUAJES
NATURALES
CONECTIVO
NEGACION
SIMBOLOS
FORMALES
SIMPLES
VERDAD
NO
O
Y
T
A
T
I
O
O
K
Y
S
O
L
O
B
M
I
S
Y
W
H
E
B
N
A
T
U
R
A
L
E
S
K
C
E
E
U
U
O
I
D
U
X
K
W
P
K
O
P
I
A
O
X
N
D
I
N
F
W
K
I
U
A
J
U
R
E
O
I
R
K
R
V
D
V
W
L
E
J
A
V
T
U
C
S
O
A
T
O
H
C
O
M
P
U
E
S
T
A
S
E
Z
X
F
I
P
R
I
O
J
A
A
P
G
F
R
I
P
Z
I
R
B
W
V
I
O
O
A
T
Q
P
R
M
E
O
E
E
E
U
A
D
N
I
O
B
S
I
V
X
S
E
J
A
U
G
N
E
L
H
P
A
E
V
Y
T
I
X
D
O
O
O
Q
A
Y
V
L
A
E
G
Z
D
G
I
A
A
C
C
C
I
U
B
K
F
O
R
M
A
L
E
S
I
A
P
G
E
I
S
O
F
S
S
C
I
Q
A
X
S
Y
D
X
J
C
Y
Y
V
O
U
N
N
E
Y
I
O
D
N
U
O
N
I
I
J
I
L
T
W
N
E
J
I
D
E
U
M
N
U
C
O
X
V
U
Z
O
A
U
U
E
A
U
O
E
I
A
N
P
E
G
I
M
Q
U
M
N
J
Y
E
S
G
N
H
V
S
C
I
C
L
C
I
W
B
F
U
O
P
W
O
G
X
C
U
E
K
A
I
T
I
E
T
I
U
I
Q
N
O
Y
V
P
I
I
D
I
D
O
D
O
A
O
S
I
X
S
E
U
E
Y
E
V
W
O
Q
W
A
H
H
O
N
E
N
A
V
Y
I
N
A
I
I
T
A
N
G
F
O
V
Y
N
U
A
O
O
P
O
U
A
C
L
A
N
O
I
C
I
D
N
O
C
O
S
L
I
V
D
U
V
