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

MBA Dirección de Sistemas de Información.
Grado Ingeniería Informática.
Ingeniero Técnico Informática sistemas.
CISM - LPIC1 - SUSE SCA - MCSE
___________________________________________

Alfonso López

Latest posts by Alfonso López (see all)

También te podría gustar...

Di lo que piensas

Uso de cookies

Este sitio web utiliza cookies para que usted tenga la mejor experiencia de usuario. Si continúa navegando está dando su consentimiento para la aceptación de las mencionadas cookies y la aceptación de nuestra política de cookies , pinche el enlace para mayor información.Mas información sobre las cookies

ACEPTAR
Aviso de cookies