Es un sistema formal (formaliza el lenguaje natural) diseñado con la finalidad de analizar argumentos planteados en términos de proposiciones. A diferencia de la lógica de predicados, en la lógica proposicional, la proposición se considera como unidad indivisible, es decir, sin considerar sus partes (sujeto-predicado).
Ver también:
Proposición
Ver también:
Lógica de predicados