Está en la página 1de 109

Matemticas Discretas

TC1003
Mdulo I: La Condicional
Departamento de Matemticas

ITESM

Mdulo I: La Condicional

Matemticas Discretas - p. 1/24

Introduccin
La forma proposicional ms importante es la
condicional.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 2/24

Introduccin
La forma proposicional ms importante es la
condicional. Tambin es la que motiva ms
errores en su interpretacin.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 2/24

Introduccin
La forma proposicional ms importante es la
condicional. Tambin es la que motiva ms
errores en su interpretacin. Esta forma
condicional es la relacionada con la inferencia
lgica.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 2/24

Introduccin
La forma proposicional ms importante es la
condicional. Tambin es la que motiva ms
errores en su interpretacin. Esta forma
condicional es la relacionada con la inferencia
lgica. Revise en su libro de texto con
detenimiento todos los conceptos relacionados
con las condicionales.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 2/24

Definicin de Forma Condicional


Una forma condicional o simplemente una
condicional es una proposicin de la forma:
Si P, entonces Q
Donde P y Q son proposiciones.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 3/24

Definicin de Forma Condicional


Una forma condicional o simplemente una
condicional es una proposicin de la forma:
Si P, entonces Q
Donde P y Q son proposiciones. A P se le llamar
la hiptesis de la condicional o antecedente de la
proposicional

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 3/24

Definicin de Forma Condicional


Una forma condicional o simplemente una
condicional es una proposicin de la forma:
Si P, entonces Q
Donde P y Q son proposiciones. A P se le llamar
la hiptesis de la condicional o antecedente de la
proposicional y a Q se le llamar conclusin de la
condicional o consecuente de la proposicional.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 3/24

Definicin de Forma Condicional


Una forma condicional o simplemente una
condicional es una proposicin de la forma:
Si P, entonces Q
Donde P y Q son proposiciones. A P se le llamar
la hiptesis de la condicional o antecedente de la
proposicional y a Q se le llamar conclusin de la
condicional o consecuente de la proposicional.
En notacin matemtica la condicional ser
representada por:

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

P Q

Mdulo I: La Condicional

Matemticas Discretas - p. 3/24

Ejemplos

Si n = m, entonces n + m es par.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 4/24

Ejemplos

Si n = m, entonces n + m es par.

Si n = 0, entonces n + m = m.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 4/24

Ejemplos

Si n = m, entonces n + m es par.

Si n = 0, entonces n + m = m.

Si n es mltiplo de 4, entonces n es par.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 4/24

Ejemplos

Si n = m, entonces n + m es par.

Si n = 0, entonces n + m = m.

Si n es mltiplo de 4, entonces n es par.

Si Juan pasa con 80 todos los exmenes de


Discretas, entonces Juan acredita Discretas.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 4/24

Ejemplos

Si n = m, entonces n + m es par.

Si n = 0, entonces n + m = m.

Si n es mltiplo de 4, entonces n es par.

Si Juan pasa con 80 todos los exmenes de


Discretas, entonces Juan acredita Discretas.

Si el programa de Juan est correcto, entonces


al ejecutarlo con los datos del profesor producir
la salida esperada.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 4/24

Ejemplos

Si n = m, entonces n + m es par.

Si n = 0, entonces n + m = m.

Si n es mltiplo de 4, entonces n es par.

Si Juan pasa con 80 todos los exmenes de


Discretas, entonces Juan acredita Discretas.

Si el programa de Juan est correcto, entonces


al ejecutarlo con los datos del profesor producir
la salida esperada.

Si Toms resolvi correctamente el problema de


mate, entonces Toms obtendr la respuesta
correcta.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 4/24

Alternativas para enunciar P Q

Si P , entonces Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.
Si P , Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.
Si P , Q.
P implica Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.
Si P , Q.
P implica Q.
P es suficiente para Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.
Si P , Q.
P implica Q.
P es suficiente para Q.
Q cuando P .

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.
Si P , Q.
P implica Q.
P es suficiente para Q.
Q cuando P .
Q cada vez que P .

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.
Si P , Q.
P implica Q.
P es suficiente para Q.
Q cuando P .
Q cada vez que P .
Q, si P .

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Alternativas para enunciar P Q

Si P , entonces Q.
Si P , tambin Q.
Si P , Q.
P implica Q.
P es suficiente para Q.
Q cuando P .
Q cada vez que P .
Q, si P .
A fin de que Q, basta que P .

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 5/24

Jerarqua de Operadores
Mayor Jeraqua Menor Jerarqua

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 6/24

Tabla de Verdad de la Condicional

Mdulo I: La Condicional

pq

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 7/24

Tabla de Verdad de la Condicional

Mdulo I: La Condicional

pq

F
F

F
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 7/24

Tabla de Verdad de la Condicional

Mdulo I: La Condicional

pq

F
F
T

F
T
F

T
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 7/24

Tabla de Verdad de la Condicional

Mdulo I: La Condicional

pq

F
F
T
T

F
T
F
T

T
T
F

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 7/24

Tabla de Verdad de la Condicional

Mdulo I: La Condicional

pq

F
F
T
T

F
T
F
T

T
T
F
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 7/24

Tabla de Verdad de la Condicional


p

pq

F
F
T
T

F
T
F
T

T
T
F
T

Note que
Si la hiptesis es falsa, la implicacin es
verdadera.
Si la hiptesis es verdadera, la nica posibilidad
de que la implicacin sea verdadera es que la
conclusin sea verdadera.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 7/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q q.
p

p q

p q q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 8/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q q.
p

p q

p q q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 8/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q q.
p

p q

p q q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 8/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q q.
p

p q

p q q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 8/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q q.
p

p q

p q q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 8/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q q.
p

p q

p q q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 8/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q r.
p
q
r
qr
pqr
F
F
F
F
T
T
T
T

F
F
T
T
F
F
T
T

Mdulo I: La Condicional

F
T
F
T
F
T
F
T

F
T
T
T
F
T
T
T

T
T
T
T
F
T
T
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 9/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q r.
p
q
r
qr
pqr
F
F
F
F
T
T
T
T

F
F
T
T
F
F
T
T

Mdulo I: La Condicional

F
T
F
T
F
T
F
T

F
T
T
T
F
T
T
T

T
T
T
T
F
T
T
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 9/24

Proposicionales complejas con condicionales


Determine la tabla de verdad de: p q r.
p
q
r
qr
pqr
F
F
F
F
T
T
T
T

F
F
T
T
F
F
T
T

Mdulo I: La Condicional

F
T
F
T
F
T
F
T

F
T
T
T
F
T
T
T

T
T
T
T
F
T
T
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 9/24

Equivalencia Bsica de la Condicional


Compruebe la equivalencia bsica de la
condicional:
p q p q
p

pq

p q

F
F
T
T

F
T
F
T

T
T
F
T

T
T
F
F

T
T
F
T

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 10/24

Equivalencia Bsica de la Condicional


Compruebe la equivalencia bsica de la
condicional:
p q p q
p

pq

p q

F
F
T
T

F
T
F
T

T
T
F
T

T
T
F
F

T
T
F
T

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 10/24

Equivalencia Bsica de la Condicional


Compruebe la equivalencia bsica de la
condicional:
p q p q
p

pq

p q

F
F
T
T

F
T
F
T

T
T
F
T

T
T
F
F

T
T
F
T

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 10/24

Equivalencia Bsica de la Condicional


Compruebe la equivalencia bsica de la
condicional:
p q p q
p

pq

p q

F
F
T
T

F
T
F
T

T
T
F
T

T
T
F
F

T
T
F
T

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 10/24

Equivalencia Bsica de la Condicional


Compruebe la equivalencia bsica de la
condicional:
p q p q
p

pq

p q

F
F
T
T

F
T
F
T

T
T
F
T

T
T
F
F

T
T
F
T

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 10/24

La Negacin de la Condicional
La negacin de la Condicional:
(p q) p q
p

pq

(p q)

p q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 11/24

La Negacin de la Condicional
La negacin de la Condicional:
(p q) p q
p

pq

(p q)

p q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 11/24

La Negacin de la Condicional
La negacin de la Condicional:
(p q) p q
p

pq

(p q)

p q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 11/24

La Negacin de la Condicional
La negacin de la Condicional:
(p q) p q
p

pq

(p q)

p q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 11/24

La Negacin de la Condicional
La negacin de la Condicional:
(p q) p q
p

pq

(p q)

p q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 11/24

La Negacin de la Condicional
La negacin de la Condicional:
(p q) p q
p

pq

(p q)

p q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 11/24

Casos en la Condicional:
Compruebe la equivalencia:
p q r (p r) (q r)
p

pq

(p r)
(q r)

pq r

pr

qr

Mdulo I: La Condicional

Matemticas Discretas - p. 12/24

Casos en la Condicional:
Compruebe la equivalencia:
p q r (p r) (q r)
p

pq

(p r)
(q r)

pq r

pr

qr

Mdulo I: La Condicional

Matemticas Discretas - p. 12/24

Casos en la Condicional:
Compruebe la equivalencia:
p q r (p r) (q r)
p

pq

(p r)
(q r)

pq r

pr

qr

Mdulo I: La Condicional

Matemticas Discretas - p. 12/24

Casos en la Condicional:
Compruebe la equivalencia:
p q r (p r) (q r)
p

pq

(p r)
(q r)

pq r

pr

qr

Mdulo I: La Condicional

Matemticas Discretas - p. 12/24

Casos en la Condicional:
Compruebe la equivalencia:
p q r (p r) (q r)
p

pq

(p r)
(q r)

pq r

pr

qr

Mdulo I: La Condicional

Matemticas Discretas - p. 12/24

Casos en la Condicional:
Compruebe la equivalencia:
p q r (p r) (q r)
p

pq

(p r)
(q r)

pq r

pr

qr

Mdulo I: La Condicional

Matemticas Discretas - p. 12/24

Casos en la Condicional:
Compruebe la equivalencia:
p q r (p r) (q r)
p

pq

(p r)
(q r)

pq r

pr

qr

Mdulo I: La Condicional

Matemticas Discretas - p. 12/24

Variantes de una Condicional


Suponga una condicional P Q. Otras
condicionales importantes construidas a partir de
ella son:

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 13/24

Variantes de una Condicional


Suponga una condicional P Q. Otras
condicionales importantes construidas a partir de
ella son:
La recrpoca (converse):
QP

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 13/24

Variantes de una Condicional


Suponga una condicional P Q. Otras
condicionales importantes construidas a partir de
ella son:
La recrpoca (converse):
QP

La contrapositiva (contrapositive):
Q P

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 13/24

Variantes de una Condicional


Suponga una condicional P Q. Otras
condicionales importantes construidas a partir de
ella son:
La recrpoca (converse):
QP

La contrapositiva (contrapositive):
Q P

La inversa (inverse):

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

P Q
Mdulo I: La Condicional

Matemticas Discretas - p. 13/24

Ejemplos de las variantes de una condicional


Si
P : Hoy es viernes santo.
Q : Maana es da sbado.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 14/24

Ejemplos de las variantes de una condicional


Si
P : Hoy es viernes santo.
Q : Maana es da sbado.
y supongamos que R representa P Q. Entonces

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 14/24

Ejemplos de las variantes de una condicional


Si
P : Hoy es viernes santo.
Q : Maana es da sbado.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si maana no es da
sbado, entonces hoy no es viernes santo.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 14/24

Ejemplos de las variantes de una condicional


Si
P : Hoy es viernes santo.
Q : Maana es da sbado.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si maana no es da
sbado, entonces hoy no es viernes santo.
La recproca de R es: Si maana es da sbado,
entonces hoy es viernes santo.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 14/24

Ejemplos de las variantes de una condicional


Si
P : Hoy es viernes santo.
Q : Maana es da sbado.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si maana no es da
sbado, entonces hoy no es viernes santo.
La recproca de R es: Si maana es da sbado,
entonces hoy es viernes santo.
La inversa de R es: Si hoy no es viernes santo,
entonces maana no es da sbado.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 14/24

Ejemplos de las variantes de una condicional


Si
P : ABCD es un cuadrado.
Q : ABCD es un rectngulo.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 15/24

Ejemplos de las variantes de una condicional


Si
P : ABCD es un cuadrado.
Q : ABCD es un rectngulo.
y supongamos que R representa P Q. Entonces

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 15/24

Ejemplos de las variantes de una condicional


Si
P : ABCD es un cuadrado.
Q : ABCD es un rectngulo.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si ABCD no es un
rectngulo, entonces ABCD no es un cuadrado.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 15/24

Ejemplos de las variantes de una condicional


Si
P : ABCD es un cuadrado.
Q : ABCD es un rectngulo.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si ABCD no es un
rectngulo, entonces ABCD no es un cuadrado.
La recproca de R es: Si ABCD es un rectngulo,
entonces ABCD es un cuadrado.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 15/24

Ejemplos de las variantes de una condicional


Si
P : ABCD es un cuadrado.
Q : ABCD es un rectngulo.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si ABCD no es un
rectngulo, entonces ABCD no es un cuadrado.
La recproca de R es: Si ABCD es un rectngulo,
entonces ABCD es un cuadrado.
La inversa de R es: Si ABCD no es un cuadrado,
entonces ABCD no es un rectngulo.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 15/24

Ejemplos de las variantes de una condicional


Si
P : Toms sigu al pie de la letra las instrucciones.
Q : Toms lleg a su destino.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 16/24

Ejemplos de las variantes de una condicional


Si
P : Toms sigu al pie de la letra las instrucciones.
Q : Toms lleg a su destino.
y supongamos que R representa P Q. Entonces

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 16/24

Ejemplos de las variantes de una condicional


Si
P : Toms sigu al pie de la letra las instrucciones.
Q : Toms lleg a su destino.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si Toms no lleg a
su destino, entonces Toms no sigui al pie de la
letra las instrucciones.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 16/24

Ejemplos de las variantes de una condicional


Si
P : Toms sigu al pie de la letra las instrucciones.
Q : Toms lleg a su destino.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si Toms no lleg a
su destino, entonces Toms no sigui al pie de la
letra las instrucciones.
La recproca de R es: Si Toms lleg a su
destino, entonces Toms sigui al pie de la letra
las instrucciones.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 16/24

Ejemplos de las variantes de una condicional


Si
P : Toms sigu al pie de la letra las instrucciones.
Q : Toms lleg a su destino.
y supongamos que R representa P Q. Entonces
La contrapositiva de R es: Si Toms no lleg a
su destino, entonces Toms no sigui al pie de la
letra las instrucciones.
La recproca de R es: Si Toms lleg a su
destino, entonces Toms sigui al pie de la letra
las instrucciones.
La inversa de R es: Si Toms no sigui al pie de
la letra las instrucciones, entonces Toms no
lleg a su destino.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 16/24

Tabla de verdad de una Condicional y su variantes


p

pq

qp

p q

q p

Mdulo I: La Condicional

Matemticas Discretas - p. 17/24

Tabla de verdad de una Condicional y su variantes


p

pq

qp

p q

q p

Mdulo I: La Condicional

Matemticas Discretas - p. 17/24

Tabla de verdad de una Condicional y su variantes


p

pq

qp

p q

q p

Mdulo I: La Condicional

Matemticas Discretas - p. 17/24

Tabla de verdad de una Condicional y su variantes


p

pq

qp

p q

q p

La condicional y su contrapositiva s son equivalentes:


p q q p

Mdulo I: La Condicional

Matemticas Discretas - p. 17/24

Tabla de verdad de una Condicional y su variantes


p

pq

qp

p q

q p

La condicional y su contrapositiva s son equivalentes:


p q q p
La condicional y su recproca no son equivalentes:
p q 6 q p

Mdulo I: La Condicional

Matemticas Discretas - p. 17/24

Segunda vista de es requisito para


Cuando se dice
A es un requisito para B

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 18/24

Segunda vista de es requisito para


Cuando se dice
A es un requisito para B
Se est diciendo que:
Si no se cumple A, entonces no se cumple B

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 18/24

Segunda vista de es requisito para


Cuando se dice
A es un requisito para B
Se est diciendo que:
Si no se cumple A, entonces no se cumple B
Es decir,
A B

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 18/24

Segunda vista de es requisito para


Cuando se dice
A es un requisito para B
Se est diciendo que:
Si no se cumple A, entonces no se cumple B
Es decir,
A B
Esta es la contrapositiva de
BA

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 18/24

Segunda vista de es requisito para


Cuando se dice
A es un requisito para B
Se est diciendo que:
Si no se cumple A, entonces no se cumple B
Es decir,
A B
Esta es la contrapositiva de
BA
Por ello es que
A es un requisito para B se convierte en
BA

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 18/24

Segunda vista de slo si


Cuando se dice
A slo si B

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 19/24

Segunda vista de slo si


Cuando se dice
A slo si B
Se est diciendo que:
Si no se cumple B, entonces no se cumple A

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 19/24

Segunda vista de slo si


Cuando se dice
A slo si B
Se est diciendo que:
Si no se cumple B, entonces no se cumple A
Es decir,
B A

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 19/24

Segunda vista de slo si


Cuando se dice
A slo si B
Se est diciendo que:
Si no se cumple B, entonces no se cumple A
Es decir,
B A
Esta es la contrapositiva de
AB

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 19/24

Segunda vista de slo si


Cuando se dice
A slo si B
Se est diciendo que:
Si no se cumple B, entonces no se cumple A
Es decir,
B A
Esta es la contrapositiva de
AB
Por ello es que
A slo si B se convierte en A B

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 19/24

Observe las construcciones


Q si P y P slo si Q
la palabra slo cambia la posicin de los
elementos de la implicacin P Q. Si
P : Tener a tiempo el depsito
Q: Ir a McAllen
En las afirmaciones:
Noel dijo: Ir a McAllen si tengo a tiempo el
depsito (P Q). P es una condicin suficiente
para Q. Noel posiblemente tiene otras maneras
de llegar.
Len dijo: Ir a McAllen slo si tengo a tiempo el
depsito (Q P ). P es una condicin necesaria
para Q. Len tiene solo una manera de hacerlo.
Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 20/24

La Bicondicional
Una forma bicondicional es una proposicin de la
forma:

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 21/24

La Bicondicional
Una forma bicondicional es una proposicin de la
forma:
P si y solamente si Q
donde P y Q son proposiciones.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 21/24

La Bicondicional
Una forma bicondicional es una proposicin de la
forma:
P si y solamente si Q
donde P y Q son proposiciones. Esta proposicin
ser representada con la notacin:
P Q

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 21/24

La Bicondicional
Una forma bicondicional es una proposicin de la
forma:
P si y solamente si Q
donde P y Q son proposiciones. Esta proposicin
ser representada con la notacin:
P Q
Esta proposicin es verdadera si P y Q tienen los
mismos valores de verdad (verdadero o falso).

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 21/24

Tabla de Verdad de la Bicondicional

Mdulo I: La Condicional

pq

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 22/24

Tabla de Verdad de la Bicondicional

Mdulo I: La Condicional

pq

F
F

F
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 22/24

Tabla de Verdad de la Bicondicional

Mdulo I: La Condicional

pq

F
F
T

F
T
F

T
F

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 22/24

Tabla de Verdad de la Bicondicional

Mdulo I: La Condicional

pq

F
F
T
T

F
T
F
T

T
F
F

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 22/24

Tabla de Verdad de la Bicondicional

Mdulo I: La Condicional

pq

F
F
T
T

F
T
F
T

T
F
F
T

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 22/24

Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q
entonces P .

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 23/24

Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q
entonces P .
Si P entonces Q, y recprocamente.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 23/24

Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q
entonces P .
Si P entonces Q, y recprocamente.
Si P , y slo entonces, Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 23/24

Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q
entonces P .
Si P entonces Q, y recprocamente.
Si P , y slo entonces, Q.
P si Q, y slo entonces.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 23/24

Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q
entonces P .
Si P entonces Q, y recprocamente.
Si P , y slo entonces, Q.
P si Q, y slo entonces.
P si y slo si Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 23/24

Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q
entonces P .
Si P entonces Q, y recprocamente.
Si P , y slo entonces, Q.
P si Q, y slo entonces.
P si y slo si Q.
A fin de que P es necesario y suficiente que Q.

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 23/24

Temas Vistos

La proposicin condicional
Conversin de Texto a FBF con la condicional
Equivalencias de la condicional
Variantes de la condicional: La contrapositiva, la
recproca y la inversa.
La bicondicional

Mdulo I: La Condicional

Introduccion
La Condicional
Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia

Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
si de nuevo
solo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Matemticas Discretas - p. 24/24