Exemple de tautologia i d'enunciat analític
De Wikisofia
La revisió el 13:51, 5 set 2015 per Sofibot (discussió | contribucions)
La revisió el 13:51, 5 set 2015 per Sofibot (discussió | contribucions)
«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.