La lógica proposicional estudia un todo y sus relaciones con otros enunciados,

generalmente lógica como lógica binaria.

Que es una proposición: es un

enunciado que afirma o niega
algo y puede ser verdadero o
falso.

Enunciados Simples: expresan solo una idea de forma simple, y no contienen mas de una
proposición.

Enunciados Compuestos: se construyen por medio de dos o mas enunciados simples a través de
un conector lógico.

Elementos de nuestro lenguaje natural que permiten crear y relacionar enunciados simples.

es una tabla que muestra el valor de verdad de una proposición compuesta, para cada
combinación de verdad que se pueda asignar.