Académique Documents
Professionnel Documents
Culture Documents
GRUPO:
200611_272
TUTOR:
HILDER MOSCOTE.
Con esta actividad se busca que el estudiante identifique y utilice en forma clara las reglas
de inferencia lógica por inducción y deducción en formulaciones y demostraciones de
razonamientos válidos en situaciones específicas.
El estudiante al terminar el curso estará en capacidad de dar solución por medio de la lógica
matemática a enunciados y determinar si son válidos o no
Por medio del razonamiento lógico el estudiante podrá realizar una inferencia de una
conclusión a partir de premisas
FASE INDIVIDUAL
La demostración
La demostración directa
Ejemplo 1.
2. r → q
Concluir: t. p → ~r
La demostración indirecta
Se realiza una demostración indirecta cuando se establece la validez de una tesis t probando que
las consecuencias de su contraria son falsas.
Ejemplo 1.
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposición abierta en
una variable n, y es necesario demostrar que tal proposición se verifica para todos los elementos
n que pertenecen a un subconjunto infinito dado sobre los números enteros, el axioma de la
inducción matemática es el siguiente:
II. Se supone que la proposición P(n) es verdad para todo k del conjunto A, es decir, P (k) es
verdadera, a esta proposición, se le llama Hipótesis de Inducción.
III. Se demuestra que para el siguiente término al k-ésimo, o sea k+1, P (k+1) es verdadera
Primer Aporte Individual. Jaime Arlex Velásquez
Ejemplo
A pesar de se puede dar una demostración directa, optamos por probar esta afirmación por
contraposición. La contraposición de la declaración anterior es:
Muchas veces es difícil encontrar una demostración directa de un resultado (lo veremos luego). En
tales casos podemos intentar demostraciones que no empiecen con p y busquen q por medio de las
reglas de inferencias: Buscamos una demostración indirecta. Las demostraciones por
contraposición están basadas en que para demostrar p → q basta demostrar ¬q → ¬p (equivalencia
lógica). En realidad lo que hacemos es construir una demostración directa del contra positivo de p
→ q.
Si bien 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.
Ejemplo1
¿Qué puede concluir Daniel? Que hará frío, es decir “hace frío”
q = hace frío
Las proposiciones así declaradas, nos permiten expresar en lenguaje natural lo expresado en
lenguaje simbólico así:
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 conclusión,
en este caso, es la proposición q.
Ejemplo 2
[(p → q) Ʌ ~q] → ~p
Ejemplo 1
Si son las 6 AM, entonces amaneció.
No son las 6 AM.
Por lo tanto, no amaneció.
Ejemplo 2
Premisa 1: Si un ángulo de un triángulo es mayor de 90º, entonces la suma de los otros dos ángulos
es menor de 90º.
Premisa 2: La suma de los otros dos ángulos no es menor de 90º.
Conclusión: Un ángulo de un triángulo no es mayor de 90º.
Simbólicamente:
Premisa 1: p → q
Premisa 2: ~ q
Conclusión: ~ p
Segundo Aporte Individual. Jaime Arlex Velásquez
Silogismo hipotético
En lógica clásica, el silogismo hipotético es una forma de argumento válido que es un silogismo
que tiene una sentencia condicional para una o ambas de sus premisas.
Donde la regla es que cada vez que las instancias de " P→Q " y " Q→R " aparecen en las líneas
de demostración, " P→R " se puede colocar en una línea posterior.
Notación formal
Donde es un símbolo meta lógico que significa que es una consecuencia sintáctica de, y en
algún sistema lógico;
Donde la regla es que cada vez que en las líneas de una demostración aparezcan las instancias de
" " y " ", se puede colocar " " en una línea posterior.
Notación formal
Donde es un símbolo meta lógico que significa que es una consecuencia sintáctica de, y en
algún sistema lógico;
Seleccionar uno de los siguientes enunciados y a través de las dos formas básicas de uso de las
Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la validez o no validez del
argumento dado
1. Si Bibiana aprueba el periodo académico entonces Johanna y Santiago sus hermanos se enojan
con ella. Y si no aprueba el periodo académico, pierde los beneficios de la beca obtenida en la
Universidad. Pero, Bibiana aprueba el periodo académico o no lo aprueba. Por lo tanto, Johanna y
Santiago sus hermanos se enojan con ella o pierde los beneficios de la beca obtenida en la
Universidad.
[(p → q) Λ (¬ p → r) Λ (p V ¬ p)] → (q V r)
Premisas
Premisa 1: p → q
Premisa 2: ¬ p → r
Premisa 3: p V ¬ p
Conclusión: q V r
El desarrollo de la tabla de verdad es el siguiente:
La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es válido.
De acuerdo a la conclusión que se obtiene la cual es una disyunción (q V r), 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.
q V r: Johanna y Santiago sus hermanos se enojan con ella o pierde los beneficios de la beca
obtenida en la Universidad.
qVr Premisa
¬r Premisa
q Conclusión
3. Todos nos sentimos afligidos por la situación ocurrida en Ecuador el día 16 de Abril, por el
Terremoto que ha generado una tragedia para los habitantes de dicha Nación, analicemos lo
siguiente: “Si hay una situación de calamidad pública, el índice de sobrevivientes disminuye. Si
llegan tardíamente las ayudas internacionales, las esperanzas de la recuperación social serán
menores. Si el índice de disminuye y las esperanzas de la recuperación social son menores,
entonces la sociedad irá recuperándose lentamente. La calamidad pública es un hecho y las ayudas
internacionales llegan de manera tardía. Luego, la sociedad irá recuperándose lentamente”.
P: si hay una situación de calamidad publica
Premisas
Premisa 1: P→Q
Premisa 2:R→S
Premisa 3:(QᴧS) →T
Premisa 4: (PᴧR)
Conclusión: T
1. Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lógico y
Matemático, y se da cuenta que debe realizar muy bien las tareas faltantes para alcanzar a ganar el
curso, observa que está a punto de abrirse el foro del trabajo Colaborativo Tres y entonces se hace
la siguiente autorreflexión: “Si soy disciplinada en mis estudios entonces entrego mis aportes
significativos a tiempo o resuelvo mis inquietudes del tema con mi tutor. Si me dedico a rumbear,
pasear, entonces no entrego mis aportes significativos a tiempo. Si en las noches veo video-
tutoriales del tema entonces no necesito resolver mis inquietudes del tema con mi tutor. Soy
disciplinada en mis estudios y en las noches veo video-tutoriales del tema. Por lo tanto entrego mis
aportes significativos a tiempo”.
Premisa 1: (p → q) V r
Premisa 2: s → ¬q
Premisa 3: t → ¬r
Premisa 4: p Λ t
Conclusión: q
p q r s t ¬ q ¬ r p → q (p → q) V r s → ¬q [(s → ¬q) Λ (t → ¬r)] [(p → q) V r] Λ [(s → ¬q) Λ (t → ¬r)] [(p → q) V r] Λ [(s → ¬q) Λ (t → ¬r)] Λ p [(p → q) V r] Λ [(s → ¬q) Λ (t → ¬r)] Λ p Λ t {[(p → q) V r] Λ [(s → ¬q) Λ (t → ¬r)] Λ p Λ t} → q
V V V V V F F V V F F F F F V
V V V V F F F V V F F F F F V
V V V F V F F V V V F F F F V
V V V F F F F V V V V V V F V
V V F V V F V V V F F F F F V
V V F V F F V V V F F F F F V
V V F F V F V V V V V V V V V
V V F F F F V V V V V V V F V
V F V V V V F F V V F F F F V
V F V V F V F F V V V V V F V
V F V F V V F F V V F F F F V
V F V F F V F F V V F V V F V
V F F V V V V F F V F F F F V
V F F V F V V F F V F F F F V
V F F F V V V F F V F F F F V
V F F F F V V F F V F F F F V
F V V V V F F V V F F F F F V
F V V V F F F V V F F F F F V
F V V F V F F V V V V F F F V
F V V F F F F V V V F V F F V
F V F V V F V V V F F F F F V
F V F V F F V V V F V F F F V
F V F F V F V V V V V V F F V
F V F F F F V V V V F V F F V
F F V V V V F V V V V F F F V
F F V V F V F V V V F V F F V
F F V F V V F V V V V F F F V
F F V F F V F V V V V V F F V
F F F V V V V V V V V V F F V
F F F V F V V V V V V V F F V
F F F F V V V V V V V V F F V
F F F F F V V V V V V V F F V
La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es válido.
6 Simp (4): t
Truth Table
T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
expression is a tautology
CONCLUSIONES
- El desarrollo del presente trabajo permitió aprender y afianzar las temáticas dadas en las
unidades de lógica matemática, tales como: principios de lógica, razonamiento lógico
inductivo y deductivo, inferencia lógica y leyes de inferencia, construcción de tablas de
verdad
- Afianzar conocimientos con temas relacionados con el razonamiento lógico y matemático,
llamando así al proceso mental de realizar una inferencia de una conclusión a partir de
premisas
REFERENCIAS BIBLIOGRAFICAS
https://edumatematicas.files.wordpress.com/2012/05/modulo-logica-matematicas-unad.pdf
https://es.wikipedia.org/wiki/Regla_de_inferencia
http://www.zweigmedia.com/MundoReal/logic/logic5.html
https://www.google.com.co/search?q=reglas+de+inferencia+logica+ejemplos&biw=1242&b
ih=585&site=webhp&tbm=isch&tbo=u&source=univ&sa=X&ved=0ahUKEwiZrfTc7tzMA
hWGGx4KHdcEAjEQsAQIMw#imgrc=ct3f2FqSUV2nyM%3A
http://ocw.usal.es/ensenanzas-
tecnicas/electronica/contenido/electronica/Tema6_AlgebraBOOLE.pdf
http://es.slideshare.net/mfoc/alg-boole-ejem