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