Mostra la font per a Exemple l'actual rei de França (Descripció definida)

{{RecursWiki
|Tipus=Exemple
}}
{{RecursBase
|Nom=Exemple l'actual rei de França (Descripció definida)
|Idioma=Espanyol
}}
{{Exemple}}

La frase «l'actual rei de França és calb» no és de cap manera comparable a la de, per exemple, «Sòcrates és calb», perquè «Sòcrates» és en veritat un nom propi i un terme singular, que pot analitzar-se simplement com a «S és P», o bé «Ca» (on ''C'' és la propietat de «ser calb» i ''a'' el subjecte, Sòcrates, que posseeix aquesta propietat) mentre que el primer exemple té en realitat la següent forma lògica:

<math>\exists{x}(Rx) \wedge  \forall{y} (Ry \rightarrow{y=x} \wedge Cx)</math>

«Hi ha un ''x'' tal que ''x'' és l'actual rei de França i, per tot ''y'', si ''y'' és l'actual rei de França, llavors ''y'' és idèntic a ''x'', i ''x'' és calb».

[[Descripció_definida|Vegeu descripció definida]]
{{InfoWiki}}