1192
C&P:El concepto matemático de “prueba inválida”, planteos lógicos falaces en los cuales un error de diseño es intencionalmente ubicado como pieza fundamental del desarrollo, por ende haciéndolo imperceptible a simple vista, es conocido desde tiempos inmemorables. Estas falacias lógicas fueron desarrolladas por vez primera hace miles de años en Grecia, sin embargo, fue en el siglo 16 y 17 en el que tomaron popularidad ya que eran utilizadas para demostrar que “ni siquiera la más exacta de las ciencias está libre de la corrupción y...
menéame
A propósito de esto, existe una anécdota atribuida a Bertrand Russell (aunque algunos también la atribuyen a Hardy), el gran matemático y filósofo inglés: en cierta ocasión se encontraba Russell ante un auditorio explicando que a partir de la afirmación “2 +2 =5” se podría demostrar cualquier cosa. Una persona del público algo incrédula le replicó: demuestre, entonces, que usted es el Papa.
En efecto –dijo el filósofo– si dos más dos son cinco, entonces cuatro es igual a cinco, de donde restando tres a cada lado obtenemos que 1 es igual a 2. Luego si el Papa y yo estamos solos en una habitación, en esa habitación hay dos personas, es decir una sola persona, (pues 1 = 2), luego el Papa y yo somos la misma persona.
latekhne.itm.edu.co/index.php?option=com_content&view=article&
En el caso en que p es falsa, la proposición no aplica, por lo que solamente se puede decir que no se ha contradicho. Eso de asociarle el valor "verdadero" no es más que una notación. No se pueden comparar peras con manzanas.
En cualquier caso, hay formas más precisas de anotar estas cosas:
en.wikipedia.org/wiki/Many-valued_logic