lógica proposicional

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadasconectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad

 

Conectivas lógicas

A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas en lenguaje formal.

 

 

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:Ley de doble negación

Leyes de idempotencia

1. Leyes asociativas

2. Leyes conmutativas

3. Leyes distributivas

4. Leyes de De Morgan