Lógica Proposicional

Lógica Proposicional

Este sistema es considerado un sistema formal cuyo valor mínimo es llamado Proposición y en el cual son utilizados conectivos lógicos, que representan operaciones entre las proposiciones formando una proposición más compleja uniendo las pequeñas.

Las Proposiciones son representadas por letras y los conectivos lógicos por símbolos que al unirse forman una serie de oraciones con conectivos lógicos representados con palabras dando sentido de coherencia.

Conectivos Lógicos:

Cada conectivo lógico tiene un nombre y son representados con símbolos que al momento de su lectura se convierten en palabras para la lectura.

Leyes notables en lógica

Entre las reglas de la lógica proposicional clásica algunas de la más notables son listadas a continuación:

1.   Ley de doble negación

2.   Leyes de idempotencia

3.   Leyes asociativas

4.   Leyes conmutativas

5.   Leyes distributivas

6.   Leyes de De Morgan

Otras leyes como el principio del tercero excluido son admisibles en lógica clásica, pero en lógica intuicionista y con fines a sus aplicaciones matemáticas no existe un equivalente del tercero excluido, por ejemplo.