Lógica Proposicional

Es la forma más antigua y simple de lógica que permite representar y manipular aserciones sobre el mundo.

Permite el razonamiento a través de la evaluación de sentencias simples y complejas.

Son símbolos que se utilizan para formar sentencias complejas, como Y (AND) y O (OR).

Es toda frase u oración que se emite, que puede ser verdadera o falsa.

Es un enunciado que tiene un valor de verdad asignado, ya sea verdadero o falso.

"Omate es nombre de una ciudad andina." (V)

"1 + 1 = 3" (F)

Son aquellas que se pueden representar con una sola variable.

Son aquellas que constan de dos o más enunciados simples.

Es un enunciado que contiene variables y no tiene un valor de verdad definido.