tautology 0 tautología Fórmula lógica que siempre resulta verdadera para cualquier interpretación. 2018-03-11 propositional calculuscálculo proposicional
