Examen final de teoría 2012-2013
Definir los conceptos de tautología, fórmula satisfactible y contradicción.
Sea f una fórmula la representación en lenguaje de proposiciones de una frase declarativa, y una (sigma)-interpretación la asignación de los valores verdad o falso a los átomos de f, una fórmula es satisfactible si una asignación de valores de los átomos de f hace cierta la interpretación.