A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

Glosario E

equivalencia (=bicondicional)

Dos fbfs son equivalentes cuando sus tablas de verdad arrojan los mismos valores de verdad en la columna de su conectiva dominante para cualquiera de sus interpretaciones. Si A y B son dos proposiciones equivalentes, escribimos A≡>B

(v. bicondicional)

ex contradictione quodlibet

Esta expresión, literalmente, significa "de una contradicción, cualquier cosa". Se trata de una regla derivada de inferencia también llamada eliminación débil del negador, y que viene a decir que si en una derivación nos encontramos en una línea con una contradicción, en la siguiente línea estamos autorizados para poner cualquier enunciado. Su esquema argumental es:

Ex contradictione quodlibet (ECQ):
  • A∧¬A
  • B          

(v. cálculo, derivación, regla de inferencia)

Referencias en el texto: