2 - Demostración Logica

LGICA MATEMTICA
La lgica es la ciencia del pensamiento racional
MC. Edith Leticia Torres Arias
Contenido
1. 2. 3.
Lgica proposicional
Demostracin lgica
Lgica de predicados
UNIDAD 2 DEMOSTRACIN LGICA
MC. Edith Leticia Torres Arias
Lgica Proposicional
1.
2. 3.
Reglas de Sustitucin
Demostracin Formal Reglas de Inferencia
1. Reglas de Sustitucin
Reglas de Sustitucin
1.
Si una proposicin compuesta P es una tautologa y si cada vez que

aparece una variable de P, digamos q, la sustitucin por una proposicin E, siempre la misma, entonces el resultado es una
proposicin compuesta P* que tambin es una tautologa.
2.
Si una proposicin compuesta P contiene una proposicin Q y Q es remplazada por una proposicin lgicamente equivalente Q* entonces el resultado es una proposicin compuesta P* lgicamente equivalente a P.
Ejemplo
Ejemplo
Ejemplo
Demostraciones de equivalencia lgica

Demostrar que

Demostrar que

Demostrar que
2. Demostracin Formal
Argumento
Un argumento (o teorema) consiste en algunas proposiciones H1, H2, Hn llamadas hiptesis (o premisas) del argumento y una proposicin C que ser su conclusin. Un argumento con hiptesis H1, H2, Hn y conclusin C es verdadera siempre que
H1 H2 Hn C
De esta forma el argumento es verdadero si y solo si H1 H2 Hn C es una tautologa
Demostraciones
Veamos algunas definiciones
Teorema : Consiste en una proposicin P, llamada hiptesis y otra proposicin Q que ser la conclusin.
Corolario: Es un teorema que se deduce inmediatamente de otro

teorema. Lema: Es un teorema que no tiene especial inters en s mismo pero que es til para probar algn otro teorema. Demostracin: Es un razonamiento que establece la veracidad de un
teorema.
Demostracin formal
La demostracin formal de un argumento consiste en una sucesin de
proposiciones, que termina con la conclusin, y que se considera vlidas.
Una proposicin es vlida si es una de las hiptesis, una tautologa

conocida o puede derivarse de las anteriores por medio de las reglas de sustitucin o puede inferirse por ciertas reglas de inferencia.
Si una o ms de las proposiciones no es valida, entonces el argumento se llama falacia
Mtodos de Demostracin
Demostracin directa
H1 H2 Hn C
Demostracin indirecta -- Contrapositiva
C (H1 H2 Hn)
Demostracin indirecta -- Demostracin por contradiccin
H1 H2 Hn C contradiccin
Mtodos de Demostracin Demostracin por contradiccin Demostrar un teorema H1 H2 Hn C es equivalente a demostrar que
H1 H2 Hn C una contradiccin
En virtud de la equivalencia lgica del absurdo (regla 15).
Este enfoque para una demostracin recibe el nombre de

demostracin por contradiccin.
3. Reglas de Inferencia
Reglas de Inferencia
Una proposicin Q se puede inferir de las proposiciones P1 P2
Pk siempre que P1 P2 Pk Q.
Simbolizamos tal regla de inferencia como
P1 P2
Pk Q
[ se lee por lo tanto]
Reglas de Inferencia mas comunes

Veamos una tabla con las reglas de inferencia ms tiles junto con los
nombres que reciben
Ejemplo
Para cada una de los siguientes conjuntos de premisas, decir cules son las conclusiones relevantes y las reglas de inferencia utilizadas en cada caso
a) b) c)
d)
e)
Estoy gordo o delgado. Ciertamente no estoy delgado. Si corro, me quedar sin aliento. No estoy sin aliento. Si el mayordomo lo hizo, entonces tiene las manos sucias. Las manos del mayordomo no estn sucias. El cielo azul me pone contento y el cielo gris me pone triste. El cielo est azul o gris. Todas las funciones trigonomtricas son peridicas y todas las funciones peridicas son continuas.
Ejemplo
a)
Estoy gordo o delgado. Ciertamente no estoy delgado. Estoy gordo silogismo disyuntivo
b)
c)
d)
Si corro, me quedar sin aliento. No estoy sin aliento. No he corrido modus tollens Si el mayordomo lo hizo, entonces tiene las manos sucias. Las manos del mayordomo no estn sucias. el mayordomo no lo hizo modus tollens El cielo azul me pone contento y el cielo gris me pone triste. El cielo est azul o gris. Estoy contento o triste. dilema constructivo Todas las funciones trigonomtricas son peridicas y todas las funciones peridicas son continuas. Todas las funciones trigonomtricas
son continuas.
e)
silogismo hipottico
Demostracin
Un teorema es verdadero si, y slo si la proposicin condicional
PQ
es una tautologa o tambin si P Q o tambin si P Q
Dicho de otra forma un teorema es verdadero si, y slo si el razonamiento

P Q es vlido.
Ejercicios
1. Determinar cuales de los razonamientos siguientes son vlidos.
Construir demostraciones para los razonamientos que lo sean y para los que no lo sean, explicar por qu la conclusin no se sigue
de la hiptesis.
a)
b)
c)
Ejercicios
2. Formular simblicamente los siguientes razonamientos y determinar cules son vlidos. Tomar: p : Estudio mucho. q : Obtengo C como calificacin. r : Me hago rico.
a)
Si estudio mucho, entonces obtengo C como calificacin. Estudio mucho. Obtengo C como calificacin. Si estudio mucho, entonces obtengo C como calificacin. Si no me hago rico, entonces no obtengo C como calificacin. Me hago rico.
b)
Ejercicios
c)
Estudio mucho si y slo si me hago rico. Me hago rico. Estudio mucho. Si estudio mucho o me hago rico, entonces obtengo C como calificacin. Obtengo C como calificacin. Si no estudio mucho, entonces me hago rico.
Si estudio mucho, entonces obtengo C como calificacin o me hago rico. No obtengo C como calificacin y no me hago rico. No estudio mucho.
d)
e)
Ejercicios
3. Expresar verbalmente los razonamientos dados y establecer la validez de los mismos. Tomar: p : 1Gb es mejor que nada. q : Compraremos mayor capacidad de memoria. r : Compraremos un ordenador nuevo.
a) b)
c)
d)
e)

2 - Demostración Logica

Cargado por

Copyright:

Formatos disponibles

2 - Demostración Logica

Cargado por

Información del documento

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

2 - Demostración Logica

Cargado por

Copyright:

Formatos disponibles

LGICA MATEMTICA

La lgica es la ciencia del pensamiento racional

MC. Edith Leticia Torres Arias

UNIDAD 2 DEMOSTRACIN LGICA

MC. Edith Leticia Torres Arias

Si una proposicin compuesta P es una tautologa y si cada vez que

proposicin compuesta P* que tambin es una tautologa.

Demostraciones de equivalencia lgica

Demostraciones de equivalencia lgica

Demostraciones de equivalencia lgica

Corolario: Es un teorema que se deduce inmediatamente de otro

Una proposicin es vlida si es una de las hiptesis, una tautologa

Si una o ms de las proposiciones no es valida, entonces el argumento se llama falacia

Demostracin indirecta -- Contrapositiva

Demostracin indirecta -- Demostracin por contradiccin

Este enfoque para una demostracin recibe el nombre de

Simbolizamos tal regla de inferencia como

[ se lee por lo tanto]

Reglas de Inferencia mas comunes

Dicho de otra forma un teorema es verdadero si, y slo si el razonamiento

También podría gustarte

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.