Coin de Quine

Modèle:Voir homonymes Modèle:Ébauche Modèle:Infobox Graphème Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est Modèle:Graphie sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression.

Utilisation

En logique mathématique, les coins de Quine sont utilisés de la façon suivante : l’expression $⌜(\zeta \subset \eta )⌝$ désigne une expression combinant les termes $\zeta$ et $\eta$, peu importe ce qu’ils sont, par un signe d’inclusion entre parenthèses. Si $\zeta$ et $\eta$ sont respectivement « $x\prime \prime \prime$ » et « $y\prime \prime \ni (y\prime \prime \subset z\prime \prime )$ », alors $⌜(\zeta \subset \eta )⌝$ est la formule « $(x\prime \prime \prime \subset y\prime \prime \ni (y\prime \prime \subset z\prime \prime ))$ ». En général, l’expression entre coins de Quine représente une expression que l’on obtient lorsque les termes de cette première expression sont spécifiés.Modèle:SfnModèle:,Modèle:Sfn

Bibliographie

• Modèle:Chapitre
• Modèle:Chapitre
• Modèle:Article

Voir aussi

• Demi-crochet

Liens externes

• Modèle:Lien tableau Unicode