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