En entradas anteriores vimos una introducción a lo que es la lógica proposicional y explicamos otros conceptos útiles. Resumiendo, habíamos definido una proposición como una frase que tenía una característica especial: tiene un valor de verdad (verdadero o falso, sí o no, correcto o incorrecto, etc.). Como es de imaginar, no todas las frases son proposiciones y dentro de ésas que no lo son encontramos las cuasi-proposiciones . Estas cuasi-proposiciones son frases que enunciadas de la manera en que lo están no son proposiciones, pero que si las cuantificamos o ejemplificamos pueden transformarse en tales. Un claro ejemplo son expresiones matemáticas u otras que usamos en programación donde hay variables, donde la expresión en sí no es una proposición pero sí lo es al asignarle un valor. Por ejemplo: X >= 5 No es una proposición ya que X puede ser cualquier valor. 7 >= 5 Ahora asignándole un valor cualquiera a X (7 en este caso) podemos decir su valo...