Exemple de tautologia i d'enunciat analític
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
«Vencerem o no vencerem» és una tautologia, que pot escriure's [math]\displaystyle{ (p\vee ¬p) }[/math] i és, per tant, veritable per la seva forma lògica; en canvi, «Ets pare, si ets home mentre que ets mare, si ets dona» és un enunciat analític no tautològic.