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)
Las equivalencias tautológicas son fbfs que tienen la forma A↔B donde A y B son proposiciones (atómicas o moleculares) que son lógicamente equivalentes. En otras palabras, si A↔B es tautológica, entonces A≡B.
Referencias en el texto:
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:
(v. cálculo, derivación, regla de inferencia)
Referencias en el texto: