Tablas Rápidas De Verdad - Demostraciones

Abstract

It is the technique by which it is possible to demonstrate the concepts of tautology, contradiction, contingency, semantic equivalence and validity of arguments. With respect to tautology given a proposition, one must try to prove that it is not tautology, for which it is assumed that under its operator some falsehood can be found.

Es la técnica mediante la cual es posible demostrar los conceptos de tautología, contradicción, contingencia, equivalencia semántica y validez de argumentos. Con respecto a la Tautología dada una proposición, se debe intentar demostrar que no es tautología, para lo cual se asume que bajo su operador se puede encontrar alguna falsedad.