Tautologia (lògica): diferència entre les revisions

La '''tautologia''' (del [[Grec antic|grec]]: ταυτολογία) és una fórmula proposicional que és verdadera sigui quin sigui el [[valor de veritat]] assignat als seus components proposicionals elementals. Dit d’una altra manera, en [[lògica]], una tautologia és una fórmula o afirmació que és certa en totes les interpretacions possibles. Un exemple és "x = y o x ≠ y". Un exemple menys abstracte és "La pilota és verda, o la pilota no és verda".  Aquesta seria una tautologia independentment del color de la pilota.