1. Tambien llamada
1.1. lógica de enunciados
1.2. lógica de orden 0
2. Trata con
2.1. Sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades.
2.1.1. Conectivas lógicas
2.1.1.1. En la lógica proposicional, las conectivas lógicas se tratan como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad.
2.2. Variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.
2.2.1. Leyes notables en lógica
2.2.1.1. Ley de la doble negación
2.2.1.1.1. la negación de la negación de una proposición p, es lógicamente equivalente a p.
2.2.1.2. Ley de la idempotencia
2.2.1.2.1. es la propiedad para realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez.
2.2.1.3. Leyes asociativas
2.2.1.3.1. hace referencia al sistema de agrupación de proposiciones cuando se tienen el mismo conectivo u operador, el orden de agrupación no altera la lógica de la proposición.
2.2.1.4. Leyes conmutativas
2.2.1.4.1. constituye una oración que tiene un valor de verdad, es decir que puede ser verdadera o falsa, pero no ambas. La proposición es uno de los elementos fundamentales de la lógica.
2.2.1.5. Leyes distributivas
2.2.1.5.1. se demuestra, que en una fórmula que debidamente tenga conectores de conjunción lograremos reformular la estructura de los mismos manteniendo el mismo resultado.
2.2.1.6. Leyes de morgan
2.2.1.6.1. son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.