Teniendo en mente que queremos presentar los sistemas deductivos de la lógica como una herramienta práctica para los informáticos, vamos a introducirnos en el estudio de la lógica comenzando por la más simple, la lógica de proposiciones, que corresponde a la lógica que simboliza y describe razonamientos basados en enunciados declarativos. 

Proposiciones 

Formalmente, se define una proposición como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras. Con la combinación de variables proposicionales y conjunciones se obtienen fórmulas sentenciales o sentencias. Estas pueden ser:
 
• Tautología: es la sentencia que es verdadera. 
• Contradicción: es la sentencia que es falsa. 
• Indeterminación: es la sentencia que ni es verdadera ni falsa.