Apuntes de Lógica Matemática Segunda Parte

Continúo con los apuntes (resúmenes) de lógica Matemática.

Planteamiento de las Deducciones

Subdeducciones (hipotesis)

Sirven para introducir en las deducciones enunciados que no están en la lista y que no se pueden obtener mediante la aplicación de ninguna regla.

Solo se plantean hipótesis con tres fundamentos:

  1. Prueba por casos o eliminación de la Disyunción (E∨)
  2. Reducción al Absurdo o introducción a la negación.(I ¬)
  3. Cuando en la conclusion tenemos una implicación. (→)

A tener en cuenta…

  • Si la conclusion es una implicación (→) empezar con hipótesis encabezada por el antecedente e intentar llegar al consecuente y al final realizar la implicación de la regla (I →).
  • Si la conclusion es una negación (¬) empezar con hipótesis encabezada por el enunciado de la conclusion sin negar, e intentar llegar a una contradicción dentro del ámbito de la hipótesis y después aplicar (I ¬) = Reducción Al absurdo.
  • Si la conclusion es una conjunción (∧) obtener cada uno de los conjuntados y aplicar la regla (I ∧).
  • Si al conclusion es una disyunción (∨) obtener alguno de los disyuntados (por Hipótesis) y aplicar (I ∨).
  • Si en las premisas aparecen (→) aplicar (E→).
  • Si en las premisas aparecen (∧) aplicar (E∧).
  • Si en las premisas aparecen (∨) aplicar (E∨).

Reglas Derivadas.

reglas_logica

Leyes del Álgebra de Boole.

LEYES_ALGEBRA_BOOLE

Fin de la segunda Parte del Tema Lógica Matemática….Puedes echar un ojo a la Primera parte.

Alfonso López

Alfonso López

Instagram

Curso Superior Universitario en Auditoría y Seguridad Informática
Certified Information Security Manager.
MBA Dirección de Sistemas de Información.
Grado Ingeniería Informática.
Ingeniero Técnico Informática sistemas.
LPIC1 - SUSE SCA - MCSE
___________________________________________

Alfonso López

Latest posts by Alfonso López (see all)

Animate a Comentar

Este sitio usa Akismet para reducir el spam. Conoce cómo se procesan los datos de tus comentarios.