MateDiscretas Unidad3

TECNOLÓGICO NACIONAL DE MÉXICO
INGENIERÍA EN SISTEMAS COMPUTACIONALES

Matemáticas Discretas
Unidad III: Lógica Matemática
Competencia Específica a Desarrollar

• Analizar y resolver problemas computacionales utilizando las
técnicas básicas de lógica.
2
Lógica Proposicional
• Proposición: Una proposición se define como un enunciado,
una oración declarativa, o una expresión simbólica, de la cual
se puede decir sin ambigüedad, que es verdadera o falsa, pero
no ambas.
3
• Las proposiciones mas sencillas posible se denominan

atómicas y se representan habitualmente con letras
minúsculas a partir de la p.
• Una proposición expresada como cadena de caracteres se
una
denomina expresión lógica o fórmula
4
Ejemplos de proposiciones
• "¿Qué hora es?"
• "Juan es un nombre"
• "8 es un número primo"
• "8 no es un número primo“
• ¿Cuánto es 3 mas 5?
5
• Las proposiciones constituidas por proposiciones atómicas y

otras partículas que sirven de nexo se llaman moleculares o
compuestas y se representan habitualmente con letras
mayúsculas a partir de la P.
6
Ejemplos de proposiciones compuestas

• Federico es alto y Jaime también.
• Federico y Jaime son altos.
• Las manzanas son verdes o rojas.
• México es un país o una ciudad.
• Juan no es alto.
7
Conectores Lógicos
• Los Conectores Lógicos son palabras que sirven
para formar Proposiciones Compuestas, es decir,
dos o más proposiciones unidas, que al verse
como una sola debe cumplir la regla básica de
falsedad o verdad.
8
Disyunción (O, OR)

• La disyunción de P,Q es
denotada por P v Q. La
disyunción es verdadera si al
menos uno de sus elementos
es verdad P, Q es verdadero,
esto se conoce como
Disyunción Inclusiva. A
continuación se muestra la
tabla de verdad de O:
9
Disyunción Exclusiva (O
EXCLUSIVO, XOR)
• El símbolo representa el O
EXCLUSIVO (XOR), que es incluido
en muchos lenguajes de
programación. Una proposición P
Q se lee como “P o Q pero no
ambos", es decir no pueden ser
ambos verdaderos o ambos falsos.
A continuación se muestra la tabla
de verdad de XOR: 10
Conjunción (Y, AND)

• La conjunción de P,Q es
denotada por P ^ Q. La
conjunción es verdadera solo si
P y Q son verdaderos.
A continuación se muestra la
tabla de verdad de Y:
11
Negación (NO, NOT)

• Una sentencia que es modificada con el
conectivo no es llamada la negación de
la sentencia original. Simbólicamente, sí
P es una proposición entonces ¬P (no P),
denota la negación de P. A continuación
se muestra la tabla de verdad de la
negación ¬:
12
Condicional
• Para dos declaraciones P,Q decimos “P
implica Q" y se escribe P Q p ara
denotar la implicación de Q por P. La
proposición P es llamada la hipótesis o
antecedente de la implicación; Q es
llamada la conclusión o consecuente de
la implicación. Una condicional solo es
falsa cuando p es cierta y q falsa; en el
resto de casos es verdadera.
13
Bicondicional (SI Y SOLO SI, SII)

• Otra declaración común en matemáticas
es “P si y solo si Q", o simbólicamente P Q.
Esto es llamado la equivalencia de dos
proposiciones, P, Q. A continuación
muestra la tabla de verdad de SII.
14
Ejemplos:
• Si María estudia mucho será buena estudiante.
• Juan puede cursar Matemáticas Discretas solo si está en tercer
semestre de carrera.
15
Jerarquía de los Conectores:
v
^
¬
16
Tautologías, Contradicciones y Contingencia
• Tautología: es una expresión lógica que es verdadera para

todas las asignaciones posibles
17
• Contradicción: es una expresión lógica que es falsa para todas

las asignaciones posibles
18
• Contingencia: es una expresión lógica que no es ni tautología ni

contradicción
19
Equivalencias Lógicas
• Dos formas proposicionales P y Q se dicen lógicamente
equivalentes, y se escribe P ≡ Q, si sus tablas de verdad
coinciden.
El programa está bien escrito y bien documentado.

El programa está bien documentado y bien escrito.
20
1. (p q) ≡ p q
∼ ∨ ∼ ∧ ∼
2. ∼ (p ∧ q) ≡∼ p∨ ∼ q
21
REGLAS DE INFERENCIA
Una vez visto a grandes rasgos sobre argumentación y lógica proposicional,

ahora es tiempo de ver aquello que le da validez formal a un buen argumento:
las reglas de inferencia.
Modus Ponens (MP)
Si P implica Q, y P es verdadera, entonces Q es cierta.
Forma lógica:
1.P → Q
2.P
3.Q
Esta regla nos permite, a partir de un enunciado condicional (P→Q), concluir la verdad de su
consecuente (Q) a partir de la verdad de su antecedente (P). Ejemplo:
4.Si hoy es sábado, entonces Reina está en la librería.

5.Hoy es sábado,
6.Por lo tanto, Reina está en la librería.
Modus Tollens (MT)
Si P implica Q, y Q no es cierta, entonces P no es cierta.
Forma lógica:
1.P → Q
2.¬Q
3.¬P
Esta regla nos permite, a partir de un enunciado condicional (P→Q), inferir la falsedad de su antecedente (P) si su
consecuente (Q) también es falso. Ejemplo:
4.Si el pastel está hecho con azúcar, entonces el pastel está dulce.
5.El pastel no está dulce.
6.Por lo tanto, el pastel no está hecho con azúcar.
Modus Tollens (MT)
Una característica importante de las proposiciones condicionales es la siguiente: El antecedente (el enunciado antes de “sí”)
establece una condición suficiente del consecuente (el enunciado después del “entonces”), mientras que el consecuente
establece una condición necesaria del antecedente. En otras palabras, la verdad de P es suficiente para la verdad de Q,
mientras que P nunca será verdad sin Q. Tomemos el ejemplo del pastel. Que el pastel esté hecho con azúcar es suficiente
para que el pastel esté dulce. De igual manera, si resulta que el pastel no está dulce, entonces es imposible que el pastel esté
hecho con azúcar.
Por supuesto, no todos los argumentos por modus tollens son tan triviales. Por ejemplo,
1.Si el sistema de seguridad detecta un intruso, entonces se activará la alarma.

2.La alarma no se activó.
3.Por lo tanto, el sistema de seguridad no detectó un intruso.
Alguien podría objetar que existe la posibilidad de que haya habido un intruso que el sistema de seguridad no detectó; pero
eso no invalida el argumento, ¿por qué? Muy simple: la primera premisa es “Si el sistema de seguridad detecta un intruso”. El
asunto importante es que el sistema detecta o no detecta un intruso, no dice nada sobre su existencia.
Modus Tollens (MT)
Veamos un último ejemplo que podría ser más complicado:
1.Si Reina pasa su examen con buenas notas, entonces formará parte de la banda.
2.Reina no formó parte de la banda musical.
3.Por lo tanto, Reina no pasó su examen con buenas notas.
Es claro que podría ser el caso que Reina sí pasó su examen con una nota alta, pero talvez el profesor escogió a otra porque
era una familiar suya. ¿Esto invalida la regla? Para nada. Lo que ocurre es que en acuerdos como estos, solemos omitir otros
factores que damos por hecho que se cumplirán. En este caso, uno espera que el profesor sea honesto y que cumpla con su
trabajo. Observa ahora el mismo ejemplo pero añadiendo esa otra condición:
4.Si Reina pasa su examen con buenas notas y el profesor es honesto, entonces formará parte de la banda.
5.Reina no formó parte de la banda musical.
6.Por lo tanto, o Reina no pasó su examen con buenas notas o el profesor no fue honesto.
Modus Tollens (MT)
Otro punto importante es que hay otras formas de expresar las condiciones suficientes y necesarias además de la expresión
“si…, entonces…”. A veces una condición necesaria se expresa diciendo “solo si”. Por ejemplo, digamos que el profesor de
Reina hubiera dicho, “Puesto asegurado en la banda sólo si sacan buenas notas en el examen”. Aquí se ha establecido como
condición necesaria obtener buenas notas en el examen, por lo que esta proposición sería nuestro consecuente (Q), no el
antecedente en la forma condicional (P). Si este es el caso, entonces la formulación, “Si Reina pasa su examen con buenas
notas, entonces formará parte de la banda” eserrónea, porque eso no fue lo que el profesor dijo; él estableció una condición
necesaria para el puesto en la banda, no suficiente, por lo que pueden haber otras condiciones que deban cumplirse para
obtener el puesto, tal como vimos en nuestro ejemplo anterior donde incluíamos la honestidad del profesor. Tomada la
afirmación del profesor como una condición necesaria y no suficiente, podemos formular el argumento de esta forma por
modus tollens:
1.Si Reina forma parte de la banda, entonces obtuvo buenas notas en su examen.
2.Reina no obtuvo buenas notas.
3.Por lo tanto, Reina no forma parte de la banda.
Recuerda siempre tener esto en cuenta para evitar malos entendidos.

Silogismo Hipotético (SH)
Si P implica Q, y Q implica R, entonces P implica R.

Forma lógica:
1.P → Q
2.Q → R
3.P → R
La regla de silogismo hipotético nos permite establecer que la verdad de P implica la verdad de R. Ejemplo:
4.Si el cristianismo es verdadero, entonces el alma existe.

5.Si el alma existe, entonces el ser humano tiene libre albedrío.
6.Por lo tanto, si el cristianismo es verdadero, entonces el ser humano tiene libre albedrío.
Silogismo Disyuntivo (SD)
Ya sea que P es cierta o Q es cierta; P no es cierta; por lo tanto, Q es cierta. De la misma manera, si P es cierta o
Q es cierta; Q no es cierta; por lo tanto, P es cierta.
Forma lógica:
1.P v Q
2.¬P
3.Q
4.P v Q
5.¬Q
6.P
Esta regla nos dice que, si una disyunción de dos proposiciones es verdadera, y una de las proposiciones es
falsa, entonces la otra proposición es verdadera.
Hay dos tipos de disyunción lógica:

•Significa “y/o” en donde al menos uno de ellos es verdadero, o talvez ambos.
•Exclusiva. Significa “XOR” (exclusive OR) Sólo un disyunto puede ser verdadero, pero no ambos.
Silogismo Disyuntivo (SD)
Ejemplo de disyunción inclusiva:
1.O Jeanne trabajó en la biblioteca o Marco jugó una partida de ajedrez.

2.Marco no jugó una partida de ajedrez.
3.Por lo tanto, Jeanne trabajó en la biblioteca.
Ambas proposiciones en la premisa (1) podrían ser verdad. Por lo tanto, no se puede concluir que debido a que uno de los
disyuntos es verdadero, el otro es falso. Ambos podrían ser verdad (observa que en la premisa (1) se puede cambiar “o” por
“y/o” sin ningún problema). Así el silogismo disyuntivo te permite concluir solamente que si un disyunto es falso entonces el
otro disyunto es verdadero.
Ejemplo de disyunción exclusiva:
4.O Jeanne está en la recamara con Marco jugando Xbox o ella está con Arturo en la cocina comiendo pastel.
5.Ella está en la recamara con Marco.
6.Ella no está en la cocina con Arturo.
Observa que en la premisa (1) no se puede cambiar “o” por “y/o”, sólo en el caso de la disyunción exclusiva puedes inferir la
falsedad de un disyunto a partir de la verdad del otro.
Dilema Constructivo (DC)

Si P implica Q y R implica S, entonces si P o R es verdadera, se deduce que, o bien Q o S es verdadera.
Forma lógica:
1.(P → Q) ^ (R → S)
2.P v R
3.Q v S
El dilema constructivo es la versión disyuntiva del modus ponens. Ejemplo:
4.Si Jeanne gana un millón de pesos los donará a un orfanato; y si Alter gana un millón de pesos se comprará una casa.
5.Jeanne gana un millón de pesos o se los ganará Alter.
6.Por lo tanto, o un orfanato obtendrá un millón de pesos o Alter tendrá una casa.
Dilema Destructivo (DD)

Si P implica Q, y R implica S, y, o bien Q es falsa o S es falsa; entonces o P es falsa o R es falsa.
Forma lógica:
1.(P → Q) ^ (R → S)
2.¬Q v ¬S
3.¬P v ¬ R
El dilema destructivo es la versión disyuntiva del modus tollens y establece que si dos condicionales son verdaderos, pero

uno de sus consecuentes es falso, entonces uno de sus antecedentes tiene que ser falso. Ejemplo:
4.Si llueve, Jeanne se quedará en casa; y si está soleado, saldrá a dar un paseo.
5.Jeanne no se quedará en casa o no saldrá a dar un paseo.
6.Por lo tanto, o bien no va a llover o no estará soleado.
Conjunción (Conj.)
Si P es cierta y Q es cierta, entonces la conjunción “P y Q” también es cierta.

Forma lógica:
1.P
2.Q
3.P ^ Q
Sencillo, si de manera aislada dos proposiciones son verdaderas, entonces su conjunción también lo es. Ejemplo:
4.Kumiko está tocando el eufonio.

5.Reina está tocando la trompeta.
6.Kumiko está tocando el eufonio y Reina está tocando la trompeta.
Simplificación (Simp.)
Si la conjunción de P y Q es cierta, entonces P es cierta y Q es cierta.

Forma lógica:
1.P ^ Q
2.P
3.P ^ Q
4.Q
Para que un conjunto como P^Q sea cierto, P y Q deben ser ciertas. Así que la simplificación nos permite concluir de P^Q
que P es cierta y que Q es cierta. Ejemplo:
5.Kumiko está tocando el eufonio, y Jeanne está tocando el piano.

6.Jeanne está tocando el piano.
7.Kumiko está tocando el eufonio, y Jeanne está tocando el piano.
8.Kumiko está tocando el eufonio.
Absorción (Ab.)
Si P implica Q, entonces P implica P y Q.

Forma lógica:
1.P → Q
2.P → (P ^ Q)
Por medio de esta regla P es “absorbida” por el término Q en la consecuencia. Ejemplo:
3.Si Jeanne va de compras, entonces conseguirá una blusa nueva.

4.Si Jeanne va de compras, entonces ella va a ir de comprar y conseguirá una blusa nueva.
Adición (Ad)
Si P es verdadera, entonces su conjunción con cualquier otro enunciado también será cierta.
Forma lógica:
1.P
2.P v Q
Hay que tener en cuenta que para que una disyunción sea verdad, sólo una parte de la disyunción tiene que
ser verdad. Así que, dado un enunciado cualquiera, es posible expresarlo como una elección
(disyunción) acompañado por cualquier otro enunciado. Por lo que si sabemos que P ya es una verdad, se
deduce que “P o Q” es también verdad sin importar lo que Q sea. Ejemplo:
3.En el planeta Tierra habitan seres humanos.

4.En el planeta Tierra habitan los seres humanos o la Luna es de queso.
Inducción Matemática
Una proposición p(n) es verdadera para todos los valores de la variable n si se cumplen las siguientes
condiciones :
Paso 1.- La proposición p(n) es verdadera para n = 1 , o bien, p(1) es verdadera.

Paso 2.- Hipótesis de Inducción . Se supone que p(k) es verdadera , donde k es un numero natural
cualesquiera.
Paso 3.- Tesis de Inducción. Se demuestra que p(k + 1) es verdadera, o bien, p(k) verdadera ⇒ p(k + 1)
verdadera.
La técnica de Inducción Matemática consiste en los tres pasos anteriores. Si se necesita

demostrar la validez de una proposición p(n) para todos los valores naturales n, entonces es
suficiente que se cumplan: Paso 1, Paso 2 y Paso 3 .
Comentario: Intuitivamente la idea anterior se conoce con el nombre de “Efecto Dominó”. Si

imaginamos una fila infinita de fichas de dominó: dispuestas verticalmente y
suficientemente próximas una cualquiera de la siguiente , entonces que se caiga la primera
ficha provoca que caiga la segunda ficha, por el Principio de Inducción Matemática la fila
completa es volteada.
Existen dos variantes útiles sobre el Principio de Inducción Matemática que deben ser
considerados . En la primera variante, la proposición por demostrar involucra los naturales no
menores a un natural fijo no, en este caso el Principio de Inducción quedaría como sigue:
Si p(n) es verdadera para n0 y si p(m + 1) es verdadera para todo natural m ≥ n0 para la cual
p(m) es verdadera, entonces p(n) es verdadera para todo natural n ≥ n0.
Aplicación de la lógica matemática en la computación

La lógica computacional es la misma lógica matemática aplicada al contexto de las
ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos
computacionales, en la programación lógica y en el análisis y optimización (de recursos
temporales y espaciales) de algoritmos.
Circuitos computacionales
El nivel menos abstracto dentro de una computadora está constituido por circuitos
electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones de la
lógica booleana; esto es, compuertas lógicas que devuelven un valor dependiendo de las
entradas que se le dan al sistema. Existen ocho compuertas lógicas básicas con las cuales
se pueden formar sistemas muy complejos: AND, OR, Inverter, Buffer, NAND, NOR, XOR y
XNOR.
Algoritmos
En matemáticas, ciencias de la computación y

disciplinas relacionadas, un algoritmo (del griego y
latin, dixit algorithmus y éste a su vez del
matemático persa Al Juarismi ) es un conjunto
preescrito de instrucciones o reglas bien definidas,
ordenadas y finitas que permite realizar una
actividad mediante pasos sucesivos que no generen
dudas a quien deba realizar dicha actividad.
Programación lógica
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica

para el diseño de lenguajes de programación; La programación lógica es un tipo de
paradigmas de programación dentro del paradigma de programación declarativa. El resto
de los subparadigmas de programación dentro de la programación declarativa son:
programación funcional, programación basada en restricciones, programas DSL (de
dominio específico) e híbridos.

MateDiscretas Unidad3

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

MateDiscretas Unidad3

Cargado por

Copyright:

Formatos disponibles

TECNOLÓGICO NACIONAL DE MÉXICO

INGENIERÍA EN SISTEMAS COMPUTACIONALES

Competencia Específica a Desarrollar

• Las proposiciones mas sencillas posible se denominan

• Las proposiciones constituidas por proposiciones atómicas y

Ejemplos de proposiciones compuestas

Disyunción (O, OR)

Conjunción (Y, AND)

Negación (NO, NOT)

Bicondicional (SI Y SOLO SI, SII)

Jerarquía de los Conectores:

Tautologías, Contradicciones y Contingencia

• Tautología: es una expresión lógica que es verdadera para

• Contradicción: es una expresión lógica que es falsa para todas

• Contingencia: es una expresión lógica que no es ni tautología ni

El programa está bien escrito y bien documentado.

Una vez visto a grandes rasgos sobre argumentación y lógica proposicional,

Si P implica Q, y P es verdadera, entonces Q es cierta.

4.Si hoy es sábado, entonces Reina está en la librería.

Modus Tollens (MT)

Si P implica Q, y Q no es cierta, entonces P no es cierta.

1.Si el sistema de seguridad detecta un intruso, entonces se activará la alarma.

Recuerda siempre tener esto en cuenta para evitar malos entendidos.

Silogismo Hipotético (SH)

Si P implica Q, y Q implica R, entonces P implica R.

4.Si el cristianismo es verdadero, entonces el alma existe.

Hay dos tipos de disyunción lógica:

1.O Jeanne trabajó en la biblioteca o Marco jugó una partida de ajedrez.

Ejemplo de disyunción exclusiva:

Dilema Constructivo (DC)

El dilema constructivo es la versión disyuntiva del modus ponens. Ejemplo:

Dilema Destructivo (DD)

El dilema destructivo es la versión disyuntiva del modus tollens y establece que si dos condicionales son verdaderos, pero

Si P es cierta y Q es cierta, entonces la conjunción “P y Q” también es cierta.

4.Kumiko está tocando el eufonio.

Si la conjunción de P y Q es cierta, entonces P es cierta y Q es cierta.

5.Kumiko está tocando el eufonio, y Jeanne está tocando el piano.

Si P implica Q, entonces P implica P y Q.

Por medio de esta regla P es “absorbida” por el término Q en la consecuencia. Ejemplo:

3.Si Jeanne va de compras, entonces conseguirá una blusa nueva.

3.En el planeta Tierra habitan seres humanos.

Paso 1.- La proposición p(n) es verdadera para n = 1 , o bien, p(1) es verdadera.

La técnica de Inducción Matemática consiste en los tres pasos anteriores. Si se necesita

Comentario: Intuitivamente la idea anterior se conoce con el nombre de “Efecto Dominó”. Si

Aplicación de la lógica matemática en la computación

En matemáticas, ciencias de la computación y

La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica

También podría gustarte