LOGICA MATEMATICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

LOGICA MATEMATICA

90004B_288

MAYERLY SOTO HURTADO CC. 1084923953

INGRID LORENA SANCHEZ CC 1032450140
MALORY CORDOBA CC

Presentado al tutor
TUTOR: JAIRO LUIS GUTIERREZ

Bogotá D.C, Abril 2016

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
 LOGICA MATEMATICA

OBJETIVOS

 Reconocer la importancia que nos brinda la lógica matemática.

 Explorar los materiales que nos proporcionan para así adquirir

conocimientos.

 Compartir información para un buen trabajo.

 LOGICA MATEMATICA

Aplicación de las leyes de inferencia

1. Modus Ponendo Ponens

El modus ponens es uno de los conceptos más utilizados en la lógica no debe
confundirse con una ley lógica; más bien, es uno de los mecanismos aceptados
para la construcción de pruebas deductivas que incluye la "regla de definición" y
la "regla de sustitución".7 Modus ponens permite eliminar una sentencia
condicional de una prueba lógica o argumento (los antecedentes) y por lo tanto no
llevan estos antecedentes adelante en una cadena alargada y constante de
símbolos; por esta razón el modus ponens a veces se denomina la regla de la
separación.8 Enderton, por ejemplo, observó que "el modus ponens puede
producir fórmulas más cortas de las más largas", 9 y Russell señaló que "el
proceso de la inferencia no puede reducirse a los símbolos. Su único registro es la
ocurrencia de ⊦ q [el consecuente]... una inferencia es el lanzamiento de una
premisa verdadera, sino que es la disolución de una implicación". 10

Si un enunciado o proposición implica una segunda, y la primera afirmación o

proposición es verdadera, entonces la segunda, también es verdadera.
Si P implica Q y P es verdadera, entonces Q es verdadera.12 Un ejemplo es:

Si está lloviendo, te esperará en el teatro.

Está lloviendo.
Por lo tanto, voy a cumplir en el teatro.
El modus ponens puede establecerse formalmente como:

Donde la regla es que cada vez que una instancia de "P → Q" y "P" aparece por sí
mismos en líneas de una prueba lógica, Q puede ser colocado válidamente en una
línea posterior; además, la premisa de P y la implicación "disuelve", su único rastro
siendo el símbolo Q que se mantiene para su uso posterior, por ejemplo, en una
deducción más compleja.
 LOGICA MATEMATICA

Está estrechamente relacionado con otra forma válida de argumento, modus

tollens. Ambas tienen apariencia similar pero tienen formas inválidas, como
la afirmación del consecuente, negando el antecedente, yevidencia de ausencia.
El dilema constructivo es la versión disyuntiva del modus ponens. El silogismo
hipotético está estrechamente relacionado con el modus ponens y a veces se lo
considera como el "ponens modus doble."

Notación Formal
La regla del modus ponens puede escribirse en subsiguiente notación:

Donde ⊢ es un símbolo metalógico que significa que Q es una consecuencia

sintáctica de P → Q y P en algún sistema lógico;
O como la afirmación de una tautología verdad-funcional o teorema de la lógica
proposicional:

Donde P, y Q son proposiciones expresadas en algún sistema formal.

Justificación mediante tabla de verdad

La validez del modus ponens en la lógica clásica de dos valores se puede
demostrar claramente demostrada utilizando una tabla de verdad.

p q p→q

V V V

V F F

F V V

F F V

En los casos de modus ponens se asume como premisa que p → q es verdadera

y p es verdadera. Solo una línea de la tabla de verdad —la primera— satisface
 LOGICA MATEMATICA

estas dos condiciones (p y p → q). En esta línea, q también es verdad. Por lo

tanto, cada vez que p → q sea verdadero y p es verdadero, q debe también ser
verdadero.

Modulos Tollen Tolens

Los primeros en declarar explícitamente la forma de argumento modus
tollens fueron los estoicos.7
La regla de inferencia modus tollens, también conocida como la ley de la
contraposición, valida la forma de inferencia implica y la contradictoria de
a la contradictoria de .
La regla modus tollens se puede afirmar formalmente como:

Donde significa "P implica Q", significa "no es el caso de que Q" (o
en resumen "no Q"). Entonces, cada vez " "y" " cada una parece por
sí mismas como una línea de una prueba, " " se puede colocar válidamente en
una línea posterior. La historia de la regla modus tollens se remonta a la
antigüedad.8
El modus tollens está estrechamente relacionado con el modus ponens. Hay dos
formas similares, pero no válidas, de argumento: afirmación del
consecuente y negación del antecedente.

Notación Formal
La regla del modus tollens puede escribirse en subsiguiente notación:

Donde es un símbolo metalógico que significa que es una consecuencia

sintáctica de y en algún sistema lógico;
O como la afirmación de una tautología verdad-funcional o teorema de la lógica
proposicional:

Donde y son proposiciones expresadas en algún sistema formal.

O incluyendo supuestos:
 LOGICA MATEMATICA

Aunque dado que la regla no cambia el conjunto de suposiciones, esto no es

estrictamente necesario.
Muchas veces, se ven reescrituras más complejas que involucran modus tollendo,
por ejemplo, en la teoría de conjuntos:

("P es un subconjunto de Q. x no está en Q. Por lo tanto, x no está en P.")

También en la lógica de predicados de primer orden:

("Para todo x si x es P entonces x es Q. Existe algún x que no es Q. Por lo tanto,

existe algún x que no es P.")
En sentido estricto no se trata de instancias de tollendo modus, pero podrán
derivarse utilizando modus tollens utilizando algunas medidas adicionales.

Explicación
El argumento tiene dos premisas. La primera premisa es un condicional o
sentencia "si-entonces", por ejemplo que si P entonces Q. La segunda premisa es
que no es el caso de Q. A partir de estas dos premisas, se puede concluir
lógicamente que no es el caso de P.
Veamos un ejemplo:
Si el perro guardián detecta un intruso, el perro guardián ladra.
El perro guardián no ladró.
Por lo tanto, el perro guardián no detectó ningún intruso.
Suponiendo que las premisas son verdaderas (el perro ladra si detecta un intruso,
y de hecho no ladra), se deduce que ningún intruso ha sido detectado. Este es un
argumento válido, ya que no es posible que la conclusión sea falsa si las premisas
son verdaderas. (Es concebible que haya habido un intruso que el perro no
detectó, pero eso no invalida el argumento; la primera premisa es "Si el
 LOGICA MATEMATICA

perro detecta un intruso"). El hecho importante es que el perro detecta o no

detecta un intruso, no si este existe.

Otro ejemplo:
Si yo soy el asesino del hacha, entonces puedo usar un hacha.
No puedo usar un hacha.
Por lo tanto, yo no soy el asesino del hacha.

Justificación vía tabla de verdad

La validez del modus tollens pueda demostrar claramente a través de una tabla de
verdad.

p q p→q

T T T

T F F

F T T

F F T

En los casos de modus tollens asumimos como premisas que p → q es verdadero

y q es falso. Solo hay una línea de la tabla—la cuarta línea—que satisface estas
dos condiciones verdaderas. En esta línea, p es falsa. Por lo tanto, en todos los
casos en los que p → q es verdadero y q es falso, p también debe ser falso.

Silogismo Hipotético
El silogismo hipotético es el nombre de una regla de inferencia válida (a veces
abreviado SH y, a veces también llamado argumento cadena, regla de cadena, o
el principio de transitividad de la implicación). El silogismo hipotético es una de
las reglas de lógica clásica, que no siempre es aceptado en
ciertos sistemas de lógica no clásica. La regla puede afirmar:
 LOGICA MATEMATICA

Donde la regla es que cada vez que las instancias de " "y" "
aparecen en las líneas de demostración, " " se puede colocar en una línea
posterior.
El silogismo hipotético está estrechamente relacionado y es similar al silogismo
disyuntivo, ya que también es un tipo de silogismo, y también es el nombre de una
regla de inferencia.
Notación Formal
La regla de silogismo hipotético puede escribirse en la notación subsiguiente:

Donde es un símbolo metalógico que significa que es

una consecuencia sintáctica de ,y en algún sistema lógico;
Y expresado como una tautología verdad-funcional o teorema de la lógica
proposicional:

Donde , y son proposiciones expresadas en algún sistema formal

2. Modus tollendo ponens

La disyunción, que se simboliza con el operador "v" representa una
elección entre dos enunciados. Ahora bien, en esa elección, forma
parte de las posibilidades escoger ambos enunciados, es decir, la
verdad de ambos enunciados no es incompatible, si bien, ambos no
pueden ser falsos.
A partir de lo anterior, se deduce la siguiente regla, denominada
tollendo ponens (negando, afirmo): si uno de los miembros de una
disyunción es negado, el otro miembro queda automáticamente
afirmado, ya que uno de los términos de la elección ha sido
descartado.

Ejemplo:
pVq "He ido al cine o me he ido de compras"
¬q "No he ido de compras"
p "Por tanto, he ido al cine"
 LOGICA MATEMATICA

DOBLE NEGACIÓN (DN)

¬¬p ↔ p

El esquema representa, “p doblemente negada equivale a p”. Siguiendo el

esquema de una inferencia por pasos, la representaríamos así:

¬¬p “No ocurre que Ana no es una estudiante”

_____________________________________________________

p “Ana es una estudiante”

La regla ‘doble negación’, simplemente establece que si un enunciado está

doblemente negado, equivaldría al enunciado afirmado.

ADJUNCIÓN Y SIMPLIFICACIÓN

Adjunción (A): Si disponemos de dos enunciados afirmados como dos premisas

separadas, mediante la adjunción, podemos unirlos en una sola premisa utilizando
el operador Λ (conjunción).

p “Juan es cocinero”

q “Pedro es policía”
___________________________________

p Λ q “Juan es cocinero y Pedro es policía”

Simplificación (S): obviamente, es la operación inversa. Si disponemos de un

enunciado formado por dos miembros unidos por una conjunción, podemos hacer
de los dos miembros dos enunciados afirmados por separado.
 LOGICA MATEMATICA

pΛq “Tengo una manzana y tengo una pera”

____________________________________________

p “Tengo una manzana”

q “Tengo una pera”

LEY DE LA ADICIÓN (LA)

Dado un enunciado cualquiera, es posible expresarlo como una elección
(disyunción) acompañado por cualquier otro enunciado.
a “He comprado manzanas”
______________________________________________________________
a V b “He comprado manzanas o he comprado peras”

SILOGISMO DISYUNTIVO (DS)

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos
miembros sean los antecedentes de los condicionales, podemos concluir en una
nueva premisa en forma de disyunción, cuyos miembros serían los consecuentes
de las dos implicaciones. Lógicamente, si planteamos una elección entre dos
causas, podemos plantear una elección igualmente entre sus dos posibles efectos,
que es el sentido de esta regla.
p → q “Si llueve, entonces las calles se mojan”
r → s “Si la tierra tiembla, los edificios se caen”
p V r “Llueve o la tierra tiembla”
____________________________________________________
q V s “Las calles se mojan o los edificios se caen”
SIMPLIFICACIÓN DISYUNTIVA (SD)
 LOGICA MATEMATICA

Si disponemos de dos premisas que corresponden a dos implicaciones con el

mismo consecuente, y sus antecedentes se corresponden con los dos miembros
de una disyunción, podemos concluir con el consecuente de ambas implicaciones.
p V q “Helado de fresa o helado de vainilla”
p → r “Si tomas helado de fresa, entonces repites”
q → r “Si tomas helado de vainilla, entonces repites”
___________________________________________________
r Luego, repites
Absorción
Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica
proposicional.1 2 La regla establece que se implica , entonces implica y . La regla
hace posible introducir conjunciones en pruebas. Esto se llama ley de absorción ya que el
término es "absorbido" por el término en la consecuencia.3 Formalmente:

O sea: siempre que aparezca una instancia de " " en una línea de alguna prueba, "
" se puede concluir en la línea siguiente

Notación formal

La regla de absorción puede escribirse en la notación subsiguiente:

Donde es un símbolo metalógico significando que es consecuencia

sintáctica de en algún sistema lógico;

Y expresado como una tautología o teorema de la lógica proposicional. El principio fue

establecido como un teorema de la lógica proposicional por Russell y Whitehead en Principia
mathematica como:

Donde ,y son proposiciones expresadas en algún sistema lógico.

Ejemplo
Si va a llover, entonces llevaré mi abrigo.
Luego, si va a llover entonces va a llover y llevaré mi abrigo.

Demostración por tabla de verdad

 LOGICA MATEMATICA

T T T T

T F F F

F T T T

F F T T

LEYES DE MORGAN (DM)

Esta ley permite transformar una disyunción en una conjunción, y viceversa, es
decir, una conjunción en una disyunción. Cuando se pasa de una a otra, se
cambian los valores de afirmación y negación de los términos de la
disyunción/conjunción así como de la propia operación en conjunto, como
podemos observar aquí:
pΛqpVq
___________ ____________
¬(¬p V ¬q) ¬(¬p Λ ¬q)

Distributiva

Propiedad distributiva: esta se plantea en una de las propiedades de la

multiplicación que se aplica a una suma o una resta, donde dicha propiedad indica
dos o más términos presentes en una suma o resta multiplicada por otra cantidad.
3x (5+4)=3x5+4x4
3x9 = 15+12
27 = 27
En la expresión algebraica:
Ax(B+C) = AxB+AxC
 LOGICA MATEMATICA

Donde remplazamos las letras por números para comprobar la igualdad y el

funcionamiento de la propiedad distributiva, si A =4, B=2yC=8:
4x (2+8)=4x2+4x8
4x10=8+32
40=40
Cuando se habla de la propiedad distributiva también nos referimos de la
propiedad conmutativa: esta nos viene a dejar patente que el orden de los factores
no altera el producto como por ejemplo 3x2 o 2x3 en ambos casos el resultado
será indicado 6.
Propiedad asociativa: esta nos muestra que en una multiplicación el resultado no
varía si se produce un cambio en lo que es la manera de poder agrupar los
factores que intervienen en la misma por ejemplo: si se multiplica (2x4) x3 que si
hace con 2x (4x3).

Ley de Exportación:
[(p˄q)⟶r]↔[(p⟶(qvr)]
Estructura
A⟶(B⟶C)˂=˃(A ˄B)⟶C
Si A, entonces B entonces C; lógicamente equivalente a: A y B entonces C.

Ley de Contraposición: es cuando la proposición convertida respeta la

cantidad, pero alterada la forma de la proposición dada y toma como sujeto al
concepto contradictorio del predicado de esta se tiene una conversión por
contraposición.
A c B =Ḃ c Ā
Cuando la proposición convertida respeta la cantidad, pero altera la forma de la
proposición dada y toma como sujeto al concepto contradictorio del predicado de
esta.
Por contradicción solo es válido convertir la universal afirmativa.
A y la particular negativa 0.
 LOGICA MATEMATICA

SILOGISMOS HIPOTÉTICOS.

El silogismo hipotético se caracteriza por estar formado por juicios hipotéticos. La

estructura formal del silogismo hipotético es la siguiente:

Si A es, B es
Si B es, C es
Luego, si A es, C es.

SILOGISMO HIPOTÉTICO MIXTO.

Se llama hipotético mixto al silogismo que está formado por una premisa mayor
hipotética, una premisa menor categórica y una conclusión también categórica.

Tiene dos modos principales: modus ponens (afirmativo) y modus tollens

(negativo). La estructura formal del “modus ponens” es la siguiente:

Si A es, B es
Ahora bien, A es
Luego, B es.

La estructura formal del “modus tollens” es la siguiente:

Si A es, B es
Ahora bien, B no es
Luego, A no es.

SILOGISMO DISYUNTIVO.

El silogismo disyuntivo es similar al hipotético mixto, pues su premisa mayor es

disyuntiva mientras que la menor y la conclusión son categóricas.

Admite también dos modos: modus ponendo tollens (afirmativo negativo) y modus
tollendo ponens (negativo afirmativo).

La estructura formal del modus ponendo tollens es la siguiente:

A es B o C
Ahora bien, es B
Luego, no es C

La estructura formal del modus tollendo ponens es la siguiente:

 LOGICA MATEMATICA

A es B o C
Ahora bien, no es B
Luego, B es o C es.

SILOGISMO HIPOTÉTICO DISYUNTIVO.

Si la premisa mayor es a la vez hipotética y disyuntiva, tenemos el silogismo

hipotético disyuntivo.

Este silogismo tiene dos modos: modus ponens (afirmativo) y modus tollens
(negativo).

La estructura formal del modus ponens es la siguiente:

Si A es, B es o C es
Es así que A es
Luego, A no es

Este último razonamiento se llama también “razonamiento lemático” (lemma =

supuesto), de donde se llama también “dilema” cuando tiene dos miembros
disyuntivos; también puede ser “trilema” o, en general, “polilema”.

Dice Essen que “este tipo de razonamiento sirve para rebatir una afirmación
mostrando lo que se afirma implícitamente y necesariamente y negando luego
ambos miembros de la disyunción, por lo cual la afirmación queda negada”.

Tarea 2: problemas de aplicación I parte

Solucionar los siguientes enunciados y demostrar la validez o no validez del

Argumento dado a través de:
Uso de las tablas de verdad.

Estudiar en la modalidad a Distancia en la UNAD es una metodología educativa

que realmente forma profesionales competentes, pues se debe ser muy
disciplinado con los hábitos de estudio adquiridos para cumplir con las actividades
académicas, pero con la ventaja de que al usar las tecnologías facilita la
comunicación entre los diferentes protagonistas del proceso de formación
académico. Carolina se ha esforzado por mantener un sólido hábito de estudio,
pero hay momentos en que el cansancio la vence, el siguiente relato es algo que
le ocurrió un día: “Si me mandas la guía de actividades por mensajería interna del
curso, entonces terminaré de realizar las demostraciones. Si no me mandas la
guía de actividades por mensajería interna, me iré a la cama temprano. Y si me
voy a la cama temprano, me levantaré descansada. Por lo tanto, si no acabo de
realizar las demostraciones, me levantaré descansada”. (Gómez, 2015)
 LOGICA MATEMATICA

Si me envías la guía de actividades P

Terminaré las demostraciones Q
Me iré a la cama temprano R
Me levantaré descansada S

La proposición es verdadera o una tautología, esto se puede comprobar en la

tabla 1.

Tabla 1
Hábitos de estudio de Carolina.

Nota: Información obtenida de la proposición dada para el desarrollo del ejercicio.

Johanna está planteando una situación problemática para su ensayo del curso de
Matemáticas financiera de la UNAD, para lo cual hace la siguiente cita
bibliográfica: “Si hay una situación de crisis económica, el índice de natalidad
disminuye. Si avanza la medicina, las expectativas de vida serán mayores. Si el
índice de natalidad disminuye y las expectativas de vida se hacen mayores,
entonces la sociedad irá envejeciendo rápidamente. La crisis económica es un
hecho y los avances en la medicina son constantes. Luego, la sociedad
envejecerá con rapidez”. (Gómez, 2015)
 LOGICA MATEMATICA

Si hay crisis económica la natalidad disminuye

P I avanza la medicina las expectativas serán mayores
Q El índice de natalidad disminuye y las expectativas de vida se hacen
mayores R La sociedad envejecerá con rapidez S

La proposición es verdadera o una tautología, esto se puede comprobar en la

tabla 2.

Tabla 2
Cita bibliográfica matemáticas financieras.
 LOGICA MATEMATICA

Nota: Elaboración propia en Micrsoft Excel 2010, a partir de la proposición dada

en el ejercicio.

Tarea 3: problemas de aplicación II parte

Solucionar los enunciados de la tarea 2 y demostrar la validez o no validez del

Argumento dado a través del:
Uso del simulador Truth Table.
Estudiar en la modalidad a Distancia en la UNAD es una metodología educativa
que realmente forma profesionales competentes, pues se debe ser muy
disciplinado con los hábitos de estudio adquiridos para cumplir con las actividades
académicas, pero con la ventaja de que al usar las tecnologías facilita la
comunicación entre los diferentes protagonistas del proceso de formación
académico. Carolina se ha esforzado por mantener un sólido hábito de estudio,
pero hay momentos en que el cansancio la vence, el siguiente relato es algo que
le ocurrió un día: “Si me mandas la guía de actividades por mensajería interna del
curso, entonces terminaré de realizar las demostraciones. Si no me mandas la
guía de actividades por mensajería interna, me iré a la cama temprano. Y si me
voy a la cama temprano, me levantaré descansada. Por lo tanto, si no acabo de
realizar las demostraciones, me levantaré descansada”. (Gómez, 2015)
Dada la proposición
[[(p>q) & (~p>r) & (r>s)] > (~q>s)]

Es una Tautología, esto se puede comprobar en la tabla 3.

Tabla 3
Habitos de estudio de Carolina en Truth Table.
 LOGICA MATEMATICA

Nota: La siguiente tabla es obtenida directamente del Trusth TurnerDisponibleen:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Johanna está planteando una situación problemática para su ensayo del curso de
Matemáticas financiera de la UNAD, para lo cual hace la siguiente cita
bibliográfica: “Si hay una situación de crisis económica, el índice de natalidad
disminuye. Si avanza la medicina, las expectativas de vida serán mayores. Si el
índice de natalidad disminuye y las expectativas de vida se hacen mayores,
entonces la sociedad irá envejeciendo rápidamente. La crisis económica es un
hecho y los avances en la medicina son constantes. Luego, la sociedad
envejecerá con rapidez. (Gómez, 2015).
Dada la proposición
[[(p>q) & (r>s) & ((q & s) >t)) & (p & r)] > t

Es una tautología, esto se puede comprobar en la tabla 4.

Tabla 4.
Cita bibliográfica matemáticas financieras en Truth Table.
 LOGICA MATEMATICA

Tarea 4: Creatividad en la proposición de situaciones de la vida cotidiana.

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje
simbólico.
 LOGICA MATEMATICA

((p→q) Λ(¬r→p)Λ(qVs))→(¬q→s)
El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de
tal
forma que la información o el mensaje que deseen expresar tenga sentido lógico
(Es
decir deben hacer lo contrario de la tarea 2 y 3, ya que las anteriores tareas, se
presentaban en lenguaje natural y el propósito es convertirlo en lenguaje
simbólico).
Finalmente, deben demostrar que el anterior argumento es válido a través de:
 Uso de las tablas de verdad.
 Uso de las leyes de inferencia.
 Uso del método de reducción al absurdo.
 Uso del simulador Truth Table.

Tabla de verdad Simulador Truth Table

Si fue robo un robo hubiera desaparecido algo y si no se perdió nada
entonces robo y si lo intento sacar el tv más el radio entonces no pudo

Uso de las leyes de inferencia

 LOGICA MATEMATICA

Modus Ponens [(p → q) p]→q se representa

1. (p q) →(r ~s) Premisa

2. ~r → s Premisa
3. p q Premisa
4. r (~s) 1,3 Modus Ponens

WEBGRAFIA
 LOGICA MATEMATICA

https://es.wikipedia.org/wiki/Modus_ponendo_ponens
https://es.wikipedia.org/wiki/Modus_tollendo_tollens
https://sites.google.com/site/cursomatematicasdiscretas/3-1-proposicion
https://sites.google.com/site/matediscretasdelacruzgarcia/unidad-2-logica-
matematica/2-4-leyes-y-reglas-de-la-inferencia
http://lgicaepn.blogspot.com.co/2011/12/reglas-de-inferencia.html
https://es.wikipedia.org/wiki/Absorci%C3%B3n_(l%C3%B3gica)
http://www.aulafacil.com/cursos/l8570/arte-humanidades/filosofia/filosofia-
facil/silogismos-hipoteticos-y-disyuntivos