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 Introduccion


La Condicional
condicional. Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 2/24


Introduccin

La forma proposicional ms importante es la Introduccion


La Condicional
condicional. Tambin es la que motiva ms Ejemplos 1
Alternativas
errores en su interpretacin. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 2/24


Introduccin

La forma proposicional ms importante es la Introduccion


La Condicional
condicional. Tambin es la que motiva ms Ejemplos 1
Alternativas
errores en su interpretacin. Esta forma Jerarqua de nuevo
condicional es la relacionada con la inferencia Tabla de Verdad
Ejemplo 2
lgica. Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 2/24


Introduccin

La forma proposicional ms importante es la Introduccion


La Condicional
condicional. Tambin es la que motiva ms Ejemplos 1
Alternativas
errores en su interpretacin. Esta forma Jerarqua de nuevo
condicional es la relacionada con la inferencia Tabla de Verdad
Ejemplo 2
lgica. Revise en su libro de texto con Ejemplo 3
detenimiento todos los conceptos relacionados Equivaencia
Negacion
con las condicionales. Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 2/24


Definicin de Forma Condicional

Una forma condicional o simplemente una Introduccion


La Condicional
condicional es una proposicin de la forma: Ejemplos 1
Alternativas
Jerarqua de nuevo
Si P, entonces Q Tabla de Verdad
Ejemplo 2
Ejemplo 3
Donde P y Q son proposiciones. Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 3/24


Definicin de Forma Condicional

Una forma condicional o simplemente una Introduccion


La Condicional
condicional es una proposicin de la forma: Ejemplos 1
Alternativas
Jerarqua de nuevo
Si P, entonces Q Tabla de Verdad
Ejemplo 2
Ejemplo 3
Donde P y Q son proposiciones. A P se le llamar Equivaencia
la hiptesis de la condicional o antecedente de la Negacion
Variantes
proposicional Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 3/24


Definicin de Forma Condicional

Una forma condicional o simplemente una Introduccion


La Condicional
condicional es una proposicin de la forma: Ejemplos 1
Alternativas
Jerarqua de nuevo
Si P, entonces Q Tabla de Verdad
Ejemplo 2
Ejemplo 3
Donde P y Q son proposiciones. A P se le llamar Equivaencia
la hiptesis de la condicional o antecedente de la Negacion
Variantes
proposicional y a Q se le llamar conclusin de la Ejemplo 4
Ejemplo 5
condicional o consecuente de la proposicional. Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 3/24


Definicin de Forma Condicional

Una forma condicional o simplemente una Introduccion


La Condicional
condicional es una proposicin de la forma: Ejemplos 1
Alternativas
Jerarqua de nuevo
Si P, entonces Q Tabla de Verdad
Ejemplo 2
Ejemplo 3
Donde P y Q son proposiciones. A P se le llamar Equivaencia
la hiptesis de la condicional o antecedente de la Negacion
Variantes
proposicional y a Q se le llamar conclusin de la Ejemplo 4
Ejemplo 5
condicional o consecuente de la proposicional. Ejemplo
Estilos
solo si de nuevo
La Bicondicional
En notacin matemtica la condicional ser Tabla Bicondicional
Variantes
representada por: Bicondicional
Sumario
P Q

Mdulo I: La Condicional Matemticas Discretas - p. 3/24


Ejemplos

Si n = m, entonces n + m es par. 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
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 4/24


Ejemplos

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


La Condicional
Ejemplos 1
Alternativas
Si n = 0, entonces n + m = m. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 4/24


Ejemplos

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


La Condicional
Ejemplos 1
Alternativas
Si n = 0, entonces n + m = m. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Si n es mltiplo de 4, entonces n es par. Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 4/24


Ejemplos

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


La Condicional
Ejemplos 1
Alternativas
Si n = 0, entonces n + m = m. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Si n es mltiplo de 4, entonces n es par. Ejemplo 3
Equivaencia
Negacion
Si Juan pasa con 80 todos los exmenes de Variantes
Ejemplo 4
Discretas, entonces Juan acredita Discretas. Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 4/24


Ejemplos

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


La Condicional
Ejemplos 1
Alternativas
Si n = 0, entonces n + m = m. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Si n es mltiplo de 4, entonces n es par. Ejemplo 3
Equivaencia
Negacion
Si Juan pasa con 80 todos los exmenes de Variantes
Ejemplo 4
Discretas, entonces Juan acredita Discretas. Ejemplo 5
Ejemplo
Estilos
Si el programa de Juan est correcto, entonces solo si de nuevo
La Bicondicional
al ejecutarlo con los datos del profesor producir Tabla Bicondicional
Variantes
la salida esperada. Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 4/24


Ejemplos

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


La Condicional
Ejemplos 1
Alternativas
Si n = 0, entonces n + m = m. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Si n es mltiplo de 4, entonces n es par. Ejemplo 3
Equivaencia
Negacion
Si Juan pasa con 80 todos los exmenes de Variantes
Ejemplo 4
Discretas, entonces Juan acredita Discretas. Ejemplo 5
Ejemplo
Estilos
Si el programa de Juan est correcto, entonces solo si de nuevo
La Bicondicional
al ejecutarlo con los datos del profesor producir Tabla Bicondicional
Variantes
la salida esperada. Bicondicional
Sumario

Si Toms resolvi correctamente el problema de


mate, entonces Toms obtendr la respuesta
correcta.
Mdulo I: La Condicional Matemticas Discretas - p. 4/24
Alternativas para enunciar P Q

Si P , entonces Q. 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
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Si P , Q. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Si P , Q. Jerarqua de nuevo
Tabla de Verdad
P implica Q. Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Si P , Q. Jerarqua de nuevo
Tabla de Verdad
P implica Q. Ejemplo 2
Ejemplo 3
P es suficiente para Q. Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Si P , Q. Jerarqua de nuevo
Tabla de Verdad
P implica Q. Ejemplo 2
Ejemplo 3
P es suficiente para Q. Equivaencia
Negacion
Q cuando P . Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Si P , Q. Jerarqua de nuevo
Tabla de Verdad
P implica Q. Ejemplo 2
Ejemplo 3
P es suficiente para Q. Equivaencia
Negacion
Q cuando P . Variantes
Ejemplo 4
Q cada vez que P . Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Si P , Q. Jerarqua de nuevo
Tabla de Verdad
P implica Q. Ejemplo 2
Ejemplo 3
P es suficiente para Q. Equivaencia
Negacion
Q cuando P . Variantes
Ejemplo 4
Q cada vez que P . Ejemplo 5
Ejemplo
Q, si P . Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Alternativas para enunciar P Q

Si P , entonces Q. Introduccion
La Condicional
Si P , tambin Q. Ejemplos 1
Alternativas
Si P , Q. Jerarqua de nuevo
Tabla de Verdad
P implica Q. Ejemplo 2
Ejemplo 3
P es suficiente para Q. Equivaencia
Negacion
Q cuando P . Variantes
Ejemplo 4
Q cada vez que P . Ejemplo 5
Ejemplo
Q, si P . Estilos
solo si de nuevo
A fin de que Q, basta que P . La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 5/24


Jerarqua de Operadores

Mayor Jeraqua Menor Jerarqua 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
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 6/24


Tabla de Verdad de la Condicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 7/24


Tabla de Verdad de la Condicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 7/24


Tabla de Verdad de la Condicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T T Tabla de Verdad
Ejemplo 2
T F Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 7/24


Tabla de Verdad de la Condicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T T Tabla de Verdad
Ejemplo 2
T F F Ejemplo 3
Equivaencia
T T Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 7/24


Tabla de Verdad de la Condicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T T Tabla de Verdad
Ejemplo 2
T F F Ejemplo 3
Equivaencia
T T T Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 7/24


Tabla de Verdad de la Condicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T T Tabla de Verdad
Ejemplo 2
T F F Ejemplo 3
Equivaencia
T T T Negacion
Variantes
Note que Ejemplo 4
Ejemplo 5
Si la hiptesis es falsa, la implicacin es
Ejemplo
verdadera. Estilos
solo si de nuevo
Si la hiptesis es verdadera, la nica posibilidad La Bicondicional
Tabla Bicondicional
de que la implicacin sea verdadera es que la Variantes
Bicondicional
conclusin sea verdadera. Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 7/24


Proposicionales complejas con condicionales

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


La Condicional
p q p q p q p q q Ejemplos 1
Alternativas
F F T T T T Jerarqua de nuevo
Tabla de Verdad
F T T F F T Ejemplo 2
Ejemplo 3
T F F T T T Equivaencia
Negacion
T T F F T F
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 8/24


Proposicionales complejas con condicionales

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


La Condicional
p q p q p q p q q Ejemplos 1
Alternativas
F F T T T T Jerarqua de nuevo
Tabla de Verdad
F T T F F T Ejemplo 2
Ejemplo 3
T F F T T T Equivaencia
Negacion
T T F F T F
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 8/24


Proposicionales complejas con condicionales

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


La Condicional
p q p q p q p q q Ejemplos 1
Alternativas
F F T T T T Jerarqua de nuevo
Tabla de Verdad
F T T F F T Ejemplo 2
Ejemplo 3
T F F T T T Equivaencia
Negacion
T T F F T F
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 8/24


Proposicionales complejas con condicionales

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


La Condicional
p q p q p q p q q Ejemplos 1
Alternativas
F F T T T T Jerarqua de nuevo
Tabla de Verdad
F T T F F T Ejemplo 2
Ejemplo 3
T F F T T T Equivaencia
Negacion
T T F F T F
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 8/24


Proposicionales complejas con condicionales

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


La Condicional
p q p q p q p q q Ejemplos 1
Alternativas
F F T T T T Jerarqua de nuevo
Tabla de Verdad
F T T F F T Ejemplo 2
Ejemplo 3
T F F T T T Equivaencia
Negacion
T T F F T F
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 8/24


Proposicionales complejas con condicionales

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


La Condicional
p q p q p q p q q Ejemplos 1
Alternativas
F F T T T T Jerarqua de nuevo
Tabla de Verdad
F T T F F T Ejemplo 2
Ejemplo 3
T F F T T T Equivaencia
Negacion
T T F F T F
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 8/24


Proposicionales complejas con condicionales

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


La Condicional
p q r qr pqr Ejemplos 1
Alternativas
Jerarqua de nuevo
F F F F T Tabla de Verdad
Ejemplo 2
F F T T T Ejemplo 3
Equivaencia
F T F T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T F T T T solo si de nuevo
La Bicondicional
T T F T T Tabla Bicondicional
Variantes
T T T T T Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 9/24


Proposicionales complejas con condicionales

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


La Condicional
p q r qr pqr Ejemplos 1
Alternativas
Jerarqua de nuevo
F F F F T Tabla de Verdad
Ejemplo 2
F F T T T Ejemplo 3
Equivaencia
F T F T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T F T T T solo si de nuevo
La Bicondicional
T T F T T Tabla Bicondicional
Variantes
T T T T T Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 9/24


Proposicionales complejas con condicionales

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


La Condicional
p q r qr pqr Ejemplos 1
Alternativas
Jerarqua de nuevo
F F F F T Tabla de Verdad
Ejemplo 2
F F T T T Ejemplo 3
Equivaencia
F T F T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T F T T T solo si de nuevo
La Bicondicional
T T F T T Tabla Bicondicional
Variantes
T T T T T Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 9/24


Equivalencia Bsica de la Condicional

Compruebe la equivalencia bsica de la Introduccion


La Condicional
condicional: Ejemplos 1
Alternativas
p q p q Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
p q pq p p q Ejemplo 3
Equivaencia
F F T T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T T T F T solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 10/24


Equivalencia Bsica de la Condicional

Compruebe la equivalencia bsica de la Introduccion


La Condicional
condicional: Ejemplos 1
Alternativas
p q p q Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
p q pq p p q Ejemplo 3
Equivaencia
F F T T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T T T F T solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 10/24


Equivalencia Bsica de la Condicional

Compruebe la equivalencia bsica de la Introduccion


La Condicional
condicional: Ejemplos 1
Alternativas
p q p q Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
p q pq p p q Ejemplo 3
Equivaencia
F F T T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T T T F T solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 10/24


Equivalencia Bsica de la Condicional

Compruebe la equivalencia bsica de la Introduccion


La Condicional
condicional: Ejemplos 1
Alternativas
p q p q Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
p q pq p p q Ejemplo 3
Equivaencia
F F T T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T T T F T solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 10/24


Equivalencia Bsica de la Condicional

Compruebe la equivalencia bsica de la Introduccion


La Condicional
condicional: Ejemplos 1
Alternativas
p q p q Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
p q pq p p q Ejemplo 3
Equivaencia
F F T T T Negacion
Variantes
F T T T T Ejemplo 4
Ejemplo 5
T F F F F Ejemplo
Estilos
T T T F T solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 10/24


La Negacin de la Condicional

La negacin de la Condicional: Introduccion


La Condicional
Ejemplos 1
(p q) p q Alternativas
Jerarqua de nuevo
Tabla de Verdad
p q pq (p q) q p q Ejemplo 2
Ejemplo 3
F F T F T F Equivaencia
Negacion
F T T F F F Variantes
Ejemplo 4
T F F T T T Ejemplo 5
Ejemplo
T T T F F F Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 11/24


La Negacin de la Condicional

La negacin de la Condicional: Introduccion


La Condicional
Ejemplos 1
(p q) p q Alternativas
Jerarqua de nuevo
Tabla de Verdad
p q pq (p q) q p q Ejemplo 2
Ejemplo 3
F F T F T F Equivaencia
Negacion
F T T F F F Variantes
Ejemplo 4
T F F T T T Ejemplo 5
Ejemplo
T T T F F F Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 11/24


La Negacin de la Condicional

La negacin de la Condicional: Introduccion


La Condicional
Ejemplos 1
(p q) p q Alternativas
Jerarqua de nuevo
Tabla de Verdad
p q pq (p q) q p q Ejemplo 2
Ejemplo 3
F F T F T F Equivaencia
Negacion
F T T F F F Variantes
Ejemplo 4
T F F T T T Ejemplo 5
Ejemplo
T T T F F F Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 11/24


La Negacin de la Condicional

La negacin de la Condicional: Introduccion


La Condicional
Ejemplos 1
(p q) p q Alternativas
Jerarqua de nuevo
Tabla de Verdad
p q pq (p q) q p q Ejemplo 2
Ejemplo 3
F F T F T F Equivaencia
Negacion
F T T F F F Variantes
Ejemplo 4
T F F T T T Ejemplo 5
Ejemplo
T T T F F F Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 11/24


La Negacin de la Condicional

La negacin de la Condicional: Introduccion


La Condicional
Ejemplos 1
(p q) p q Alternativas
Jerarqua de nuevo
Tabla de Verdad
p q pq (p q) q p q Ejemplo 2
Ejemplo 3
F F T F T F Equivaencia
Negacion
F T T F F F Variantes
Ejemplo 4
T F F T T T Ejemplo 5
Ejemplo
T T T F F F Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 11/24


La Negacin de la Condicional

La negacin de la Condicional: Introduccion


La Condicional
Ejemplos 1
(p q) p q Alternativas
Jerarqua de nuevo
Tabla de Verdad
p q pq (p q) q p q Ejemplo 2
Ejemplo 3
F F T F T F Equivaencia
Negacion
F T T F F F Variantes
Ejemplo 4
T F F T T T Ejemplo 5
Ejemplo
T T T F F F Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 11/24


Casos en la Condicional:
Compruebe la equivalencia:

p q r (p r) (q r)

p q r pq pq r pr qr (p r)
(q r)

F F F F T T T T
F F T F T T T T
F T F T F T F F
F T T T T T T T
T F F T F F T F
T F T T T T T T
T T F T F F F F
T T T T T T T T
Mdulo I: La Condicional Matemticas Discretas - p. 12/24
Casos en la Condicional:
Compruebe la equivalencia:

p q r (p r) (q r)

p q r pq pq r pr qr (p r)
(q r)

F F F F T T T T
F F T F T T T T
F T F T F T F F
F T T T T T T T
T F F T F F T F
T F T T T T T T
T T F T F F F F
T T T T T T T T
Mdulo I: La Condicional Matemticas Discretas - p. 12/24
Casos en la Condicional:
Compruebe la equivalencia:

p q r (p r) (q r)

p q r pq pq r pr qr (p r)
(q r)

F F F F T T T T
F F T F T T T T
F T F T F T F F
F T T T T T T T
T F F T F F T F
T F T T T T T T
T T F T F F F F
T T T T T T T T
Mdulo I: La Condicional Matemticas Discretas - p. 12/24
Casos en la Condicional:
Compruebe la equivalencia:

p q r (p r) (q r)

p q r pq pq r pr qr (p r)
(q r)

F F F F T T T T
F F T F T T T T
F T F T F T F F
F T T T T T T T
T F F T F F T F
T F T T T T T T
T T F T F F F F
T T T T T T T T
Mdulo I: La Condicional Matemticas Discretas - p. 12/24
Casos en la Condicional:
Compruebe la equivalencia:

p q r (p r) (q r)

p q r pq pq r pr qr (p r)
(q r)

F F F F T T T T
F F T F T T T T
F T F T F T F F
F T T T T T T T
T F F T F F T F
T F T T T T T T
T T F T F F F F
T T T T T T T T
Mdulo I: La Condicional Matemticas Discretas - p. 12/24
Casos en la Condicional:
Compruebe la equivalencia:

p q r (p r) (q r)

p q r pq pq r pr qr (p r)
(q r)

F F F F T T T T
F F T F T T T T
F T F T F T F F
F T T T T T T T
T F F T F F T F
T F T T T T T T
T T F T F F F F
T T T T T T T T
Mdulo I: La Condicional Matemticas Discretas - p. 12/24
Casos en la Condicional:
Compruebe la equivalencia:

p q r (p r) (q r)

p q r pq pq r pr qr (p r)
(q r)

F F F F T T T T
F F T F T T T T
F T F T F T F F
F T T T T T T T
T F F T F F T F
T F T T T T T T
T T F T F F F F
T T T T T T T T
Mdulo I: La Condicional Matemticas Discretas - p. 12/24
Variantes de una Condicional

Suponga una condicional P Q. Otras Introduccion


La Condicional
condicionales importantes construidas a partir de Ejemplos 1
Alternativas
ella son: Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 13/24


Variantes de una Condicional

Suponga una condicional P Q. Otras Introduccion


La Condicional
condicionales importantes construidas a partir de Ejemplos 1
Alternativas
ella son: Jerarqua de nuevo
La recrpoca (converse): Tabla de Verdad
Ejemplo 2
Ejemplo 3
QP Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 13/24


Variantes de una Condicional

Suponga una condicional P Q. Otras Introduccion


La Condicional
condicionales importantes construidas a partir de Ejemplos 1
Alternativas
ella son: Jerarqua de nuevo
La recrpoca (converse): Tabla de Verdad
Ejemplo 2
Ejemplo 3
QP Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
La contrapositiva (contrapositive): Ejemplo
Estilos
Q P solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 13/24


Variantes de una Condicional

Suponga una condicional P Q. Otras Introduccion


La Condicional
condicionales importantes construidas a partir de Ejemplos 1
Alternativas
ella son: Jerarqua de nuevo
La recrpoca (converse): Tabla de Verdad
Ejemplo 2
Ejemplo 3
QP Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
La contrapositiva (contrapositive): Ejemplo
Estilos
Q P solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
La inversa (inverse): Sumario

P Q

Mdulo I: La Condicional Matemticas Discretas - p. 13/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Hoy es viernes santo. Ejemplos 1
Alternativas
Q : Maana es da sbado. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 14/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Hoy es viernes santo. Ejemplos 1
Alternativas
Q : Maana es da sbado. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 14/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Hoy es viernes santo. Ejemplos 1
Alternativas
Q : Maana es da sbado. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si maana no es da Ejemplo 3
Equivaencia
sbado, entonces hoy no es viernes santo. Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 14/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Hoy es viernes santo. Ejemplos 1
Alternativas
Q : Maana es da sbado. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si maana no es da Ejemplo 3
Equivaencia
sbado, entonces hoy no es viernes santo. Negacion
Variantes
La recproca de R es: Si maana es da sbado, Ejemplo 4
entonces hoy es viernes santo. Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 14/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Hoy es viernes santo. Ejemplos 1
Alternativas
Q : Maana es da sbado. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si maana no es da Ejemplo 3
Equivaencia
sbado, entonces hoy no es viernes santo. Negacion
Variantes
La recproca de R es: Si maana es da sbado, Ejemplo 4
entonces hoy es viernes santo. Ejemplo 5
Ejemplo
La inversa de R es: Si hoy no es viernes santo, Estilos
solo si de nuevo
entonces maana no es da sbado. La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 14/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : ABCD es un cuadrado. Ejemplos 1
Alternativas
Q : ABCD es un rectngulo. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 15/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : ABCD es un cuadrado. Ejemplos 1
Alternativas
Q : ABCD es un rectngulo. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 15/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : ABCD es un cuadrado. Ejemplos 1
Alternativas
Q : ABCD es un rectngulo. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si ABCD no es un Ejemplo 3
Equivaencia
rectngulo, entonces ABCD no es un cuadrado. Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 15/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : ABCD es un cuadrado. Ejemplos 1
Alternativas
Q : ABCD es un rectngulo. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si ABCD no es un Ejemplo 3
Equivaencia
rectngulo, entonces ABCD no es un cuadrado. Negacion
Variantes
La recproca de R es: Si ABCD es un rectngulo, Ejemplo 4
entonces ABCD es un cuadrado. Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 15/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : ABCD es un cuadrado. Ejemplos 1
Alternativas
Q : ABCD es un rectngulo. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si ABCD no es un Ejemplo 3
Equivaencia
rectngulo, entonces ABCD no es un cuadrado. Negacion
Variantes
La recproca de R es: Si ABCD es un rectngulo, Ejemplo 4
entonces ABCD es un cuadrado. Ejemplo 5
Ejemplo
La inversa de R es: Si ABCD no es un cuadrado, Estilos
solo si de nuevo
entonces ABCD no es un rectngulo. La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 15/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Toms sigu al pie de la letra las instrucciones. Ejemplos 1
Alternativas
Q : Toms lleg a su destino. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 16/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Toms sigu al pie de la letra las instrucciones. Ejemplos 1
Alternativas
Q : Toms lleg a su destino. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 16/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Toms sigu al pie de la letra las instrucciones. Ejemplos 1
Alternativas
Q : Toms lleg a su destino. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si Toms no lleg a Ejemplo 3
Equivaencia
su destino, entonces Toms no sigui al pie de la Negacion
letra las instrucciones. Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 16/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Toms sigu al pie de la letra las instrucciones. Ejemplos 1
Alternativas
Q : Toms lleg a su destino. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si Toms no lleg a Ejemplo 3
Equivaencia
su destino, entonces Toms no sigui al pie de la Negacion
letra las instrucciones. Variantes
Ejemplo 4
La recproca de R es: Si Toms lleg a su Ejemplo 5
Ejemplo
destino, entonces Toms sigui al pie de la letra Estilos
solo si de nuevo
las instrucciones. La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 16/24


Ejemplos de las variantes de una condicional

Si Introduccion
La Condicional
P : Toms sigu al pie de la letra las instrucciones. Ejemplos 1
Alternativas
Q : Toms lleg a su destino. Jerarqua de nuevo
Tabla de Verdad
y supongamos que R representa P Q. Entonces Ejemplo 2
La contrapositiva de R es: Si Toms no lleg a Ejemplo 3
Equivaencia
su destino, entonces Toms no sigui al pie de la Negacion
letra las instrucciones. Variantes
Ejemplo 4
La recproca de R es: Si Toms lleg a su Ejemplo 5
Ejemplo
destino, entonces Toms sigui al pie de la letra Estilos
solo si de nuevo
las instrucciones. La Bicondicional
Tabla Bicondicional
La inversa de R es: Si Toms no sigui al pie de Variantes
Bicondicional
la letra las instrucciones, entonces Toms no Sumario
lleg a su destino.

Mdulo I: La Condicional Matemticas Discretas - p. 16/24


Tabla de verdad de una Condicional y su variantes
p q p q pq qp p q q p

F F T T T T T T
F T T F T F F T
T F F T F T T F
T T F F T T T T

Mdulo I: La Condicional Matemticas Discretas - p. 17/24


Tabla de verdad de una Condicional y su variantes
p q p q pq qp p q q p

F F T T T T T T
F T T F T F F T
T F F T F T T F
T T F F T T T T

Mdulo I: La Condicional Matemticas Discretas - p. 17/24


Tabla de verdad de una Condicional y su variantes
p q p q pq qp p q q p

F F T T T T T T
F T T F T F F T
T F F T F T T F
T T F F T T T T

Mdulo I: La Condicional Matemticas Discretas - p. 17/24


Tabla de verdad de una Condicional y su variantes
p q p q pq qp p q q p

F F T T T T T T
F T T F T F F T
T F F T F T T F
T T F F T T T T

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 q p q pq qp p q q p

F F T T T T T T
F T T F T F F T
T F F T F T T F
T T F F T T T T

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 Introduccion


La Condicional
A es un requisito para B Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 18/24


Segunda vista de es requisito para

Cuando se dice Introduccion


La Condicional
A es un requisito para B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple A, entonces no se cumple B Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 18/24


Segunda vista de es requisito para

Cuando se dice Introduccion


La Condicional
A es un requisito para B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple A, entonces no se cumple B Ejemplo 3
Equivaencia
Es decir, Negacion
Variantes
A B Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 18/24


Segunda vista de es requisito para

Cuando se dice Introduccion


La Condicional
A es un requisito para B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple A, entonces no se cumple B Ejemplo 3
Equivaencia
Es decir, Negacion
Variantes
A B Ejemplo 4
Ejemplo 5
Esta es la contrapositiva de Ejemplo
Estilos
solo si de nuevo
BA La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 18/24


Segunda vista de es requisito para

Cuando se dice Introduccion


La Condicional
A es un requisito para B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple A, entonces no se cumple B Ejemplo 3
Equivaencia
Es decir, Negacion
Variantes
A B Ejemplo 4
Ejemplo 5
Esta es la contrapositiva de Ejemplo
Estilos
solo si de nuevo
BA La Bicondicional
Tabla Bicondicional
Por ello es que Variantes
Bicondicional
A es un requisito para B se convierte en Sumario

BA

Mdulo I: La Condicional Matemticas Discretas - p. 18/24


Segunda vista de slo si

Cuando se dice Introduccion


La Condicional
A slo si B Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 19/24


Segunda vista de slo si

Cuando se dice Introduccion


La Condicional
A slo si B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple B, entonces no se cumple A Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 19/24


Segunda vista de slo si

Cuando se dice Introduccion


La Condicional
A slo si B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple B, entonces no se cumple A Ejemplo 3
Equivaencia
Es decir, Negacion
Variantes
B A Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 19/24


Segunda vista de slo si

Cuando se dice Introduccion


La Condicional
A slo si B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple B, entonces no se cumple A Ejemplo 3
Equivaencia
Es decir, Negacion
Variantes
B A Ejemplo 4
Ejemplo 5
Esta es la contrapositiva de Ejemplo
Estilos
solo si de nuevo
AB La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 19/24


Segunda vista de slo si

Cuando se dice Introduccion


La Condicional
A slo si B Ejemplos 1
Alternativas
Jerarqua de nuevo
Se est diciendo que: Tabla de Verdad
Ejemplo 2
Si no se cumple B, entonces no se cumple A Ejemplo 3
Equivaencia
Es decir, Negacion
Variantes
B A Ejemplo 4
Ejemplo 5
Esta es la contrapositiva de Ejemplo
Estilos
solo si de nuevo
AB La Bicondicional
Tabla Bicondicional
Por ello es que Variantes
Bicondicional
A slo si B se convierte en A B Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 19/24


Observe las construcciones Introduccion
La Condicional
Ejemplos 1
Q si P y P slo si Q Alternativas
Jerarqua de nuevo
Tabla de Verdad
la palabra slo cambia la posicin de los Ejemplo 2
elementos de la implicacin P Q. Si Ejemplo 3
Equivaencia
P : Tener a tiempo el depsito Negacion
Variantes
Q: Ir a McAllen Ejemplo 4
Ejemplo 5
En las afirmaciones: Ejemplo
Noel dijo: Ir a McAllen si tengo a tiempo el Estilos
solo si de nuevo
depsito (P Q). P es una condicin suficiente La Bicondicional
Tabla Bicondicional
para Q. Noel posiblemente tiene otras maneras Variantes
de llegar. Bicondicional
Sumario
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 Matemticas Discretas - p. 20/24
La Bicondicional

Una forma bicondicional es una proposicin de la Introduccion


La Condicional
forma: Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 21/24


La Bicondicional

Una forma bicondicional es una proposicin de la Introduccion


La Condicional
forma: Ejemplos 1
Alternativas
P si y solamente si Q Jerarqua de nuevo
Tabla de Verdad
donde P y Q son proposiciones. Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 21/24


La Bicondicional

Una forma bicondicional es una proposicin de la Introduccion


La Condicional
forma: Ejemplos 1
Alternativas
P si y solamente si Q Jerarqua de nuevo
Tabla de Verdad
donde P y Q son proposiciones. Esta proposicin Ejemplo 2
Ejemplo 3
ser representada con la notacin: Equivaencia
Negacion
Variantes
P Q Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 21/24


La Bicondicional

Una forma bicondicional es una proposicin de la Introduccion


La Condicional
forma: Ejemplos 1
Alternativas
P si y solamente si Q Jerarqua de nuevo
Tabla de Verdad
donde P y Q son proposiciones. Esta proposicin Ejemplo 2
Ejemplo 3
ser representada con la notacin: Equivaencia
Negacion
Variantes
P Q Ejemplo 4
Ejemplo 5
Ejemplo
Esta proposicin es verdadera si P y Q tienen los Estilos
mismos valores de verdad (verdadero o falso). solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 21/24


Tabla de Verdad de la Bicondicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 22/24


Tabla de Verdad de la Bicondicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 22/24


Tabla de Verdad de la Bicondicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T F Tabla de Verdad
Ejemplo 2
T F Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 22/24


Tabla de Verdad de la Bicondicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T F Tabla de Verdad
Ejemplo 2
T F F Ejemplo 3
Equivaencia
T T Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 22/24


Tabla de Verdad de la Bicondicional

Introduccion
p q pq La Condicional
Ejemplos 1
F F T Alternativas
Jerarqua de nuevo
F T F Tabla de Verdad
Ejemplo 2
T F F Ejemplo 3
Equivaencia
T T T Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 22/24


Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q Introduccion


La Condicional
entonces P . Ejemplos 1
Alternativas
Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 23/24


Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q Introduccion


La Condicional
entonces P . Ejemplos 1
Alternativas
Si P entonces Q, y recprocamente. Jerarqua de nuevo
Tabla de Verdad
Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 23/24


Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q Introduccion


La Condicional
entonces P . Ejemplos 1
Alternativas
Si P entonces Q, y recprocamente. Jerarqua de nuevo
Tabla de Verdad
Si P , y slo entonces, Q. Ejemplo 2
Ejemplo 3
Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 23/24


Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q Introduccion


La Condicional
entonces P . Ejemplos 1
Alternativas
Si P entonces Q, y recprocamente. Jerarqua de nuevo
Tabla de Verdad
Si P , y slo entonces, Q. Ejemplo 2
Ejemplo 3
P si Q, y slo entonces. Equivaencia
Negacion
Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 23/24


Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q Introduccion


La Condicional
entonces P . Ejemplos 1
Alternativas
Si P entonces Q, y recprocamente. Jerarqua de nuevo
Tabla de Verdad
Si P , y slo entonces, Q. Ejemplo 2
Ejemplo 3
P si Q, y slo entonces. Equivaencia
Negacion
P si y slo si Q. Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 23/24


Variantes de estilo de la bicondicional

Si P entonces Q, y recprocamente, si Q Introduccion


La Condicional
entonces P . Ejemplos 1
Alternativas
Si P entonces Q, y recprocamente. Jerarqua de nuevo
Tabla de Verdad
Si P , y slo entonces, Q. Ejemplo 2
Ejemplo 3
P si Q, y slo entonces. Equivaencia
Negacion
P si y slo si Q. Variantes
Ejemplo 4
A fin de que P es necesario y suficiente que Q. Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 23/24


Temas Vistos

La proposicin condicional Introduccion


La Condicional
Conversin de Texto a FBF con la condicional Ejemplos 1
Alternativas
Equivalencias de la condicional Jerarqua de nuevo
Tabla de Verdad
Variantes de la condicional: La contrapositiva, la Ejemplo 2
Ejemplo 3
recproca y la inversa. Equivaencia
Negacion
La bicondicional Variantes
Ejemplo 4
Ejemplo 5
Ejemplo
Estilos
solo si de nuevo
La Bicondicional
Tabla Bicondicional
Variantes
Bicondicional
Sumario

Mdulo I: La Condicional Matemticas Discretas - p. 24/24

También podría gustarte