Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tutor
Julián Darío Giraldo
Objetivo General
Con esta actividad de la lógica matemática se quiere que de una forma muy clara como
estudiante identifique y utilice las reglas de inferencia lógicas por inducción y deducción
Objetivos específicos
de una manera más exacta de las proposiciones simples y compuestas, tablas de verdad
ejemplos
A pesar de se puede dar una demostración directa, optamos por probar esta afirmación
proposición consideramos lo
cierto sentido "al menos tan difícil de formular" como demostración por
contradicción.
negación de su antecedente. Es decir, si una primera premisa implica una segunda premisa,
equivalentes.
es equivalente a su contrarrecíproco
proposicional.
Si tenemos que demostrar que una proposición p implica una proposición q (es decir, si se
da p, se tiene que dar q), a veces es más sencillo demostrar que si no se da q, entonces no
contrarrecíproco o contraposición. Nótese que "p implica q" y "no q implica no p" son
proposiciones equivalentes.
Un ejemplo sencillo: "Demuéstrese que todos los números primos mayores que 2 son
proposición q es "n es un número impar". Demostrar "si todo número primo es mayor que
2, entonces es impar es lo mismo que demostrar que " si todo entero negativo no
donde k es mayor o igual que 1 (la idea de número primo tiene sentido sólo en los números
que 1, entonces n es mayor que 2, pero no es primo ya que tiene algún factor que no es ni 1
ni él mismo. Así que 2 es el único número primo par, por lo que se ha demostrado que
Donde significa "P implica Q", significa "no es el caso de que Q" (o en
resumen "no Q"). Entonces, cada vez que aparecen por sí mismas como
simplemente MP ó Modus Ponens, nombre que puedes leer como Modo Afirmando-
Afirmando, veamos:
¿Qué puede concluir Daniel? Que hará frío, es decir “hace frío”
Para obtener tan “obvia” conclusión, Daniel ha utilizado la más común de las inferencias
q = hace frío
Ejemplo 1
Las proposiciones así declaradas, nos permiten expresar en lenguaje natural lo expresado en
Así que nuestro ejemplo puede ser representado en el lenguaje simbólico de la siguiente
manera:
p → q Se lee: si p entonces q
p Se lee: ocurre p
El símbolo... (de donde) representa la conclusión de las premisas dadas; es decir que la
p → q Se lee: si p entonces q
~ q Se lee: ocurre ~q
[(p → q) Ʌ ~q] → ~p
Ejemplo 2
Premisa 1: Si un ángulo de un triángulo es mayor de 90º, entonces la suma de los otros dos
Simbólicamente:
Premisa 1: p → q
Premisa 2: ~ q
Conclusión: ~ p
p → q Se lee: si p entonces q
q → r Se lee: si q entonces r
Si p entonces r
Es un argumento que se expresa simbólicamente así:
[( p → q ) Ʌ (q → r )] → ( p → r )
Ejemplo 1.
Simbólicamente:
Premisa 1. p → q
Premisa 2. q → r
Conclusión. p → r
pÚq
~p
... q
[( p V q ) Ʌ ~p] ~ q o [( p V q ) Ʌ ~q] → p
Ejemplo 1
sólo a saltos.
Simbólicamente:
Premisa 1: p v q
Premisa 2: ~p
Conclusión: p
( p → q) Ʌ (r → s )
pVr
... q V s
Absorción (Abs)
p→q
... p → (q Ʌ p)
Simplificación (Simp.)
pɅ q
... p
Conjunción (Conj)
... p Ʌ q
Adición (Ad.)
... p V q
INDIVIDUAL
Soy un gran aficionado al fútbol y mi equipo ha pasado a disputar la final del torneo
muchas emociones, hay minutos de intensa alegría otros minutos de ansiedad, otros
de tristeza, en fin el fútbol es una pasión que genera toda una gama de sensaciones.
Hoy es el día del partido de la final y voy a narrar lo que viví en el transcurrir de los
pongo triste. En este momento mi equipo está ganando o está perdiendo. Por
hecho frente a las emociones que viví en el partido de la final, hacerlo a través de
las dos maneras con la tabla de verdad y con el uso de las leyes de inferencia.
[(p → q) ˄ (~p → r) ˄ (p ˅ ~p)] → (q ˅ r)
1. “Si mi equipo gana yo me pongo contento. Si mi equipo pierde me pongo triste. En este momento mi equipo está ganando o
está perdiendo. Por consiguiente, estoy contento o triste.
Declaraciones de Premisas
Conclusión: q ˅ r
[(p → q) ˄ (~p → r) ˄ (p ˅ ~p)] → (q ˅ r)
v f f f f v v f
f v v v v v v v
f v f v v f v v
f f v v v v v v
f f f v v f v f
Ley de Inferencias
Premisa1: Si mi equipo gana yo me pongo contento
Premisa2: Si mi equipo pierde me pongo triste
Premisa3: En este momento mi equipo está ganando o está perdiendo
Conclusión: estoy contento o triste
Premisa1: p → q
Premisa2: (~p → r)
Premisa3: p ˅ ~p
_______________________
4: q ˅ r MPP
5: q Conclusión SD 1 2 3
La Ley Del Silogismo Disyuntivo (SD): esta ley es simple; se compone de tres (3) premisas (P), la cual, en general, empieza
con una (1) disyunción y dos (2) condicionales.
Simulador TRUHT
CONCLUSION
Con esta actividad aprendí de una forma muy clara a identificar y utilizar las reglas de
https://es.wikipedia.org/wiki/Demostraci%C3%B3n_por_contraposici%C3%B3n
https://es.wikipedia.org/wiki/Contrarrec%C3%ADproco
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_22_leyes_de_
inferencia.html
https://es.wikipedia.org/wiki/Modus_ponendo_ponens
https://youtu.be/7Csb8wwnEpA
https://www.youtube.com/watch?v=7Csb8wwnEpA
https://www.youtube.com/watch?v=OmX1Xg6bnlk
https://www.youtube.com/watch?v=C_g-seH0a1Y