['logic', 'romance', 'art', 'nostalgia', 'castles']
En la lògica proposicional, què és una tautologia? Proporciona un exemple.
Una tautologia és una fórmula lògica que sempre és certa, independentment del valor de veritat de les seves proposicions atòmiques. Un exemple seria "Avui plou o no plou".