Mostra la font per a Exemple de fórmula vàlida no tautològica

{{RecursWiki
|Tipus=Exemple
}}
{{RecursBase
|Nom=Exemple de fórmula vàlida no tautològica
|Idioma=Espanyol
}}
{{Exemple}}

D'un enunciat com 

<math>\forall{x} Px</math> 

pot deduir-se 

<math>\exists{x} Px</math>, 

i aquesta deducció pot fer-se sense premisses. Per tant, és possible escriure 

<math>\vdash \forall{x} Px \rightarrow{\exists{x} Px}</math>

 i, per la mateixa raó, suposar que 

<math>\models \forall{x} Px \rightarrow{\exists{x} Px}</math>.

Però aquesta última fórmula, encara que necessàriament veritable, no és una tautologia. La seva veritat es demostra només com a conclusió d'una demostració o derivació.
{{InfoWiki}}