You are on page 1of 28

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

Demostraciones de equivalencia lgica


Demostrar que

Demostraciones de equivalencia lgica


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)