Sesión 4.- Unidad I. Lógica

Mtra. Carolina Galaviz InzunzaMatemática Discreta

1.- Comentar lo visto en la clase anterior (5min)Pase de lista2.-El maestro explicará los conectivos lógicos.3.-Realizar 10 proposiciones compuestas.

Orden del día:

Conectivos lógicos.

Nombre Conector SímboloConjunción. Y Disyunción. O Negación. NO Implicación. (condicional) SI.....

ENTONCES

Equivalencia.(bicondicional)Igual

Si y sólo si

Conjunción (Y)

Nombre Conector SímboloConjunción. Y

•La conectiva “y” tiene la función de indicar que las dos proposiciones conjuntadas, son igualmente verdaderas

P: Hermosillo es la capital de Sonora.Q: Nogales es frontera.

PQ:

Hermosillo es la capital de Sonora y Nogales es frontera.

Disyunción (O)

Nombre Conector SímboloDisyunción. O

•La conectiva “o” tiene la función de indicar que por lo menos una de las proposiciones es verdadera (aunque puede ser que lo sean ambas).

P: Hermosillo es la capital de Sonora.Q: Nogales es frontera.

PvQ:

Hermosillo es la capital de Sonora o Nogales es frontera.

Negación (NO)

Nombre Conector SímboloNegación. NO

•Éste conector tiene la función de negar el sentido de la proposición.

P: Hermosillo es la capital de Sonora.

Formas de decirlo verbalmente:1.Hermosillo no es la capital de Sonora2.No es el caso que Hermosillo es la capital de Sonora3.No ocurre que Hermosillo es la capital de Sonora.4.No es cierto que Hermosillo es la capital de Sonora.

P: No es cierto que Hermosillo no es la capital de Sonora.Si p es verdadera, p es falsa.Si p es falsa, p es verdadera.

Implicación/condicional (Si…entonces).

Nombre Conector Símbolo

Implicación. (condicional) SI..... ENTONCES

P: Hermosillo es la capital de Sonora.Q: Nogales es frontera.

PQ: Si Hermosillo es la capital de Sonora entonces Nogales es frontera.

QP: Si Nogales es frontera entonces Hermosillo es la capital de Sonora.

p → qAntecedente Consecuente

Si la proposición antecedente es verdadera, también lo es la proposición consecuente.Será falso si siendo verdadero el antecedente, es falso el consecuente. La proposición será verdadera en los demás casos, en los que no ocurre que el antecedente es verdadero y el consecuente es falso.

Equivalencia/Bicondicional (Si y sólo si)

Nombre Conector SímboloEquivalencia.(bicondicional) Si y sólo si

La expresión “si y sólo si” es una conectiva lógica que se simboliza con el signo “ “ , y que al relacionar dos proposiciones indica que el valor de verdad de ambas es el mismo, ya sea verdadero o falso-

P: Hermosillo es la capital de Sonora.Q: Nogales es frontera.

PQ: Hermosillo es la capital de Sonora si y sólo si Nogales es frontera.

Q P: Nogales es frontera si y sólo si Hermosillo es la capital de Sonora.

• 10 proposiciones compuestas utilizando 2 veces cada conectivo lógico.

Ejemplo.

• P: Hermosillo es la capital de Sonora.

• Q: Nogales es frontera.

PQ: Hermosillo es la capital de Sonora si y sólo si Nogales es frontera.

Realizar: