Cuando estaba en la universidad estudié lógica y teoría de conjuntos. La teoría de conjuntos es algo que vimos todos en primaria y en mi caso es algo que uso todos los días ya que los lenguajes de consultas de bases de datos están fundamentados, justamente en teoría de conjuntos.
En lógica hay premisas. Un ejemplo de premisa sería “En la casa no hay nadie, así que la casa está vacía”. Independientemente de que esta premisa sea verdadera lo único que podemos afirmar es que “la casa está vacía”.
Ahora bien, en lógica, una premisa puede negarse. Así que la premisa “la casa está vacía” tiene una negación: “la casa no está vacía”.
Sé que algunos de ustedes pensaron enseguida que lo contrario de decir “la casa está vacía” es decir “la casa está llena”.
Pues en lógica la cosa no es así.
¿Cuándo una casa está vacía? En este caso, cuando no hay ninguna persona en ella así que para que la casa no esté vacía, con sólo haber una persona dentro de ella es suficiente.
Dicho de otra manera, la negación de “la casa está vacía” es “hay al menos una persona en la casa”. Con haber una sola persona en la casa es suficiente para negar o refutar la premisa “la casa está vacía”
