LÓGICA PROPOSICIONAL<br />Priscila Valdiviezo<br />pmvaldiviezo@utpl.edu.ec<br />
LÓGICA PROPOSICIONAL<br />Inferencia<br />Operación lógica que consiste en concluir una cierta proposición en forma inmedi...
LÓGICA PROPOSICIONAL<br />Sistema de deducción natural<br />Es de gran utilidad al momento de querer obtener una conclusió...
LÓGICA PROPOSICIONAL<br />Reglas de inferencia<br />Modus PonendoPonens(afirmando - afirma).- <br />Esquema: [(p -> q) ^ p...
LÓGICA PROPOSICIONAL<br />En este caso las premisas están formadas de proposiciones atómicas, pero puede darse el caso que...
LÓGICA PROPOSICIONAL<br />Primero identificar las premisas, teniendo en cuenta que cada oración es una premisa y que siemp...
LÓGICA PROPOSICIONAL<br />Simbolizando quedaría:<br />P: La noche está estrellada.<br />Q: El cielo está despejado.<br />A...
LÓGICA PROPOSICIONAL<br />Ejemplo:<br />	Hacemos que: P1 y P2 sean simbolizaciones de premisas y C simbolice la conclusión...
LÓGICA PROPOSICIONAL<br />Modus TollendoTollens (negando - niega)<br />Esquema:<br />[(p -> q) ^ ¬ q] ⇒ ¬ p<br />Se abrevi...
LÓGICA PROPOSICIONAL<br />Ejemplo:<br />“ Si Juan está en el partido de fútbol, entonces está en el estadio. Juan no está ...
LÓGICA PROPOSICIONAL<br />Ejemplo:<br />P1: Si eres un estudiante irresponsable,  entonces no apruebas la materia.<br />P2...
LÓGICA PROPOSICIONAL<br />Modus TollendoPonens (negando - afirma).- Método que negando un elemento de una disyunción se af...
LÓGICA PROPOSICIONAL<br />Se abrevia M.T. P<br />Ejemplo: <br />“Estoy en el Colegio o estoy en casa. No estoy en casa.”<b...
LÓGICA PROPOSICIONAL<br />En forma simbólica sería:<br />P: Estoy en el colegio<br />Q: Estoy en casa<br />Ejemplo:<br />
LÓGICA PROPOSICIONAL<br />Silogismo hipotético.- Esta regla consiste en que si se conocen dos  proposiciones condicionales...
LÓGICA PROPOSICIONAL<br />Su abreviatura: S. H.<br />Ejemplo:<br />Premisa 1: Si a &gt; b, entonces a – b &gt; 0.<br />Pre...
LÓGICA PROPOSICIONAL<br />Ejemplo:<br />Silogismo Disyuntivo.- Esta regla consiste en que si se conoce una disyunción incl...
LÓGICA PROPOSICIONAL<br />Esquema:<br />Su abreviatura: S. D.<br />En lenguaje natural:<br />Premisa 1: 22 = 4 ó 15 no es ...
LÓGICA PROPOSICIONAL<br />Ejemplo:<br />Ejercicio:<br />Dadas las premisas, Demostrar F:<br />(1) G -> H<br />(2) ¬G -> ¬¬...
LÓGICA PROPOSICIONAL<br />Obtener la conclusióndel siguienteenunciado:<br />“Si el arriendo se mantiene válido, entonces e...
Upcoming SlideShare
Loading in...5
×

Inferencia

12,661

Published on

Presentación de Inferencia lógica para la materia de Fundamentos Informáticos

Published in: Education, Technology
3 Comments
4 Likes
Statistics
Notes
No Downloads
Views
Total Views
12,661
On Slideshare
0
From Embeds
0
Number of Embeds
10
Actions
Shares
0
Downloads
216
Comments
3
Likes
4
Embeds 0
No embeds

No notes for slide

Inferencia

  1. 1. LÓGICA PROPOSICIONAL<br />Priscila Valdiviezo<br />pmvaldiviezo@utpl.edu.ec<br />
  2. 2. LÓGICA PROPOSICIONAL<br />Inferencia<br />Operación lógica que consiste en concluir una cierta proposición en forma inmediata sobre la base de una o dos proposiciones previamente asumidas llamadas premisas.<br />En las demostraciones se utilizan una serie de argumentos, por ello es necesario determinar<br />cuáles son válidos o no, para esto conoceremos a algunas estrategias de deducción.<br />
  3. 3. LÓGICA PROPOSICIONAL<br />Sistema de deducción natural<br />Es de gran utilidad al momento de querer obtener una conclusión de un argumento.<br />Incorpora las estrategias de deducción como reglas de inferencia, de modo que facilite el proceso de deducción.<br />Se inicia con un conjunto de fórmulas llamadas premisas, luego se utilizan las reglas de inferencia de<br />manera que conduzca a otras fórmulas denominadas conclusiones, que luego pueden ser reutilizadas<br />nuevamente como premisas. El paso de las premisas a la conclusión es una deducción.<br />La conclusión que se obtiene se dice que es una consecuencia lógica de las premisas, si cada paso que se da para llegar a la conclusión está permitido por una regla.<br />
  4. 4. LÓGICA PROPOSICIONAL<br />Reglas de inferencia<br />Modus PonendoPonens(afirmando - afirma).- <br />Esquema: [(p -> q) ^ p] ⇒ q, que escrito en forma vertical adopta la forma: <br />Sea abrevia: M. P<br />
  5. 5. LÓGICA PROPOSICIONAL<br />En este caso las premisas están formadas de proposiciones atómicas, pero puede darse el caso que estén formadas de proposiciones moleculares. <br />Se puede dar que las premisas estén expresadas en lenguaje natural. <br />Ejemplo:<br />
  6. 6. LÓGICA PROPOSICIONAL<br />Primero identificar las premisas, teniendo en cuenta que cada oración es una premisa y que siempre van estar separadas por un punto seguido o por un punto aparte. <br />Luego obtener la conclusión.<br />Premisa 1: Si la noche está estrellada,<br />Premisa 2: La noche está estrellada.<br />Conclusión: Por lo tanto, el cielo está despejado.<br />“Si la noche está estrellada, el cielo está despejado. La noche está estrellada.<br />
  7. 7. LÓGICA PROPOSICIONAL<br />Simbolizando quedaría:<br />P: La noche está estrellada.<br />Q: El cielo está despejado.<br />Aplicando (MP) concluimos que:<br />
  8. 8. LÓGICA PROPOSICIONAL<br />Ejemplo:<br /> Hacemos que: P1 y P2 sean simbolizaciones de premisas y C simbolice la conclusión. Entonces<br /> tenemos:<br /> P1: Si la asamblea aprueba la ley, entonces hay amnistía.<br /> P2: La asamblea aprueba la ley.<br /> C: Hay amnistía.<br />Simbolizando:<br />
  9. 9. LÓGICA PROPOSICIONAL<br />Modus TollendoTollens (negando - niega)<br />Esquema:<br />[(p -> q) ^ ¬ q] ⇒ ¬ p<br />Se abrevia M. T<br />
  10. 10. LÓGICA PROPOSICIONAL<br />Ejemplo:<br />“ Si Juan está en el partido de fútbol, entonces está en el estadio. Juan no está en el estadio.”<br />Premisa 1: Si Juan está en el partido de fútbol, entonces está en el estadio.<br />Premisa 2: Juan no está en el estadio.<br />Conclusión: Por lo tanto, Juan no está en el partido de fútbol.<br />En forma simbólica:<br />P: Juan está en el partido de fútbol.<br />Q: Juan está en el estadio.<br />
  11. 11. LÓGICA PROPOSICIONAL<br />Ejemplo:<br />P1: Si eres un estudiante irresponsable, entonces no apruebas la materia.<br />P2: No es cierto que, no apruebas la materia.<br />C: No eres un estudiante irresponsable.<br />Simbolizando:<br />
  12. 12. LÓGICA PROPOSICIONAL<br />Modus TollendoPonens (negando - afirma).- Método que negando un elemento de una disyunción se afirma el otro elemento. <br />Esquema:<br />[(p v q) ^ ¬ q] ⇒ p, o [(p v q) ^ ¬ p] ⇒ q<br />
  13. 13. LÓGICA PROPOSICIONAL<br />Se abrevia M.T. P<br />Ejemplo: <br />“Estoy en el Colegio o estoy en casa. No estoy en casa.”<br />Premisa 1: Estoy en el Colegio o estoy en casa.<br />Premisa 2: No estoy en casa.<br />Conclusión: Por lo tanto, estoy en el Colegio.<br />O también:<br />Premisa 1: Estoy en el colegio o estoy en casa.<br />Premisa 2: No estoy en el colegio.<br />Conclusión: Por lo tanto, estoy en casa.<br />
  14. 14. LÓGICA PROPOSICIONAL<br />En forma simbólica sería:<br />P: Estoy en el colegio<br />Q: Estoy en casa<br />Ejemplo:<br />
  15. 15. LÓGICA PROPOSICIONAL<br />Silogismo hipotético.- Esta regla consiste en que si se conocen dos proposiciones condicionales como premisas, tal que el consecuente de la una sea igual al antecedente de la otra, entonces con ellas, se puede establecer una nueva condicional con el antecedente de la primera y el consecuente de la segunda. <br />Esquema :<br />
  16. 16. LÓGICA PROPOSICIONAL<br />Su abreviatura: S. H.<br />Ejemplo:<br />Premisa 1: Si a &gt; b, entonces a – b &gt; 0.<br />Premisa 2: Si a – b &gt; 0, entonces a ≠ b.<br />Conclusión: Por lo tanto, Si a &gt; b, entonces a ≠ b.<br />Simbolizando:<br />P: a &gt; b<br />Q: a – b &gt; 0<br />R: a = b<br />
  17. 17. LÓGICA PROPOSICIONAL<br />Ejemplo:<br />Silogismo Disyuntivo.- Esta regla consiste en que si se conoce una disyunción inclusiva entre dos proposiciones y dos condicionales que tienen como antecedente cada una de las proposiciones de la disyunción, entonces se concluye la disyunción entre los consecuentes de las condicionales.<br />
  18. 18. LÓGICA PROPOSICIONAL<br />Esquema:<br />Su abreviatura: S. D.<br />En lenguaje natural:<br />Premisa 1: 22 = 4 ó 15 no es cuadrado perfecto.<br />Premisa 2: Si 22 = 4, entonces la raíz cuadrada de 4 es 2.<br />Premisa 3: Si 15 no es cuadrado perfecto, entonces 20 es el duplo de 10.<br />Conclusión: Por lo tanto, la raíz cuadrada de 4 es 2 o 20 es el duplo de 10.<br />En el lenguaje formal:<br />P: 22 = 4<br />Q: 15 es cuadrado perfecto.<br />R: La raíz cuadrada de 4 es 2.<br />S: 20 es el duplo de 10.<br />
  19. 19. LÓGICA PROPOSICIONAL<br />Ejemplo:<br />Ejercicio:<br />Dadas las premisas, Demostrar F:<br />(1) G -> H<br />(2) ¬G -> ¬¬F<br />(3) ¬H<br />
  20. 20. LÓGICA PROPOSICIONAL<br />Obtener la conclusióndel siguienteenunciado:<br />“Si el arriendo se mantiene válido, entonces el dueño es responsable de las reparaciones. El dueño no es responsable de las reparaciones.”<br />
  1. ¿Le ha llamado la atención una diapositiva en particular?

    Recortar diapositivas es una manera útil de recopilar información importante para consultarla más tarde.

×