Lógica proposicional o de enunciados

La lógica proposicional es la base de la lógica.
Una lógica simple y de entrada a la lógica general.

Es una introducción al formalismo y estudia los caminos para llegar a las conclusiones así como el problema de la validación de los razonamientos.

• Trata las proposiciones como bloques.
• Una proposición simple puede tener dos valores, $\{ V, F\} $, pero no ambos
• Una proposición realiza un particionado sobre el conjunto a tratar.
• Las proposiciones se suelen llamar con letras minúsculas. $\{p,q,r,s....\}$

La lógica proposicional está formada por un conjunto infinito de proposiciones numerables $\{p,q,r,s....\}$ y los símbolos $\{ ¬ , \vee ,\wedge, \rightarrow , (,) \} $