Lógica Proposicional.

COLEGIO AUGUSTO WALTE
MATERIA MATEMÁTICA
GRADO: I AÑO DE BACHILLERATO.


REGLAS DE INFERENCIA
 Los argumentos basados en tautologías representan métodos de razonamiento universalmentecorrectos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia.Las reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración.
Ejemplo 1

¿Es válido el siguiente argumento?
  Si usted invierte en elmercado de valores, entonces se hará rico.
Si se hace usted rico, entonces será feliz. __________________________________________________
Si usted invierte en el mercado de valores,entonces será feliz.
  Sea:

p: Usted invierte en el mercado de valores.
q: Se hará rico.
r: Será feliz


 De tal manera que el enunciado anterior se puede representarcon notación lógica de la siguiente manera:
  p ( q
q ( r
______
( p ( r
 
Ejemplo 2.

  ¿Es válido el siguienteargumento?
  Si bajan los impuestos, entonces se eleva el ingreso
El ingreso se eleva.
_________________________________________
Los impuestos bajan
Solución:
Seap: Los impuestos bajan.
q: El ingreso se eleva.
p ( q
q
_____
(pEl aplicar la regla de inferencia es lo que le cuesta más al alumno y se deberá poner mucha atención para que el alumno aprenda a aplicar dicha regla.
En una demostración no solamente haytautologías e hipótesis, también existen reglas de inferencia que permiten obtener nuevas líneas válidas, esta es la parte en donde la mayoría de alumnos tienen problemas y en donde no sabe que regla...