Résultats de la recherche

...d'[[Emil Post]], fait le lien entre [[hiérarchie arithmétique]] et [[degré de Turing]]. {{Théorème|Pour tout ''n'' > 0 : ...

{{confusion|Coupure de Dedekind}} {{Ébauche|logique}} ...

{{Ebauche|mathématiques|logique}} ...''k'' si elle a exactement un [[Structure (logique mathématique)|modèle]] de cardinalité ''k'' (à [[isomorphisme]] près). ...

{{Ébauche|logique}} ...à des [[Fonction (mathématiques)|fonctions]] ou à des [[Prédicat (logique mathématique)|prédicats]]. Elles étendent le [[calcul des prédicats]]. ...

...condition que pour toute proposition φ du [[Signature (algèbre)|langage]] de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ. ...vement axiomatisables]] et qui sont assez riches pour exprimer l'[[Axiomes de Peano|arithmétique]] ne peuvent pas être complètes. ...

...''logique monadique du premier ordre''' est le fragment syntaxique de la [[logique du premier ordre]] où il n'y a que des prédicats unaires. ...ls, comme ceux issus de la ''[[Logique de Port-Royal]]'' relèvent de cette logique partielle. ...

...le la [[propriété d'amalgamation]] et le [[théorème des plongements joints de Robinson]]. ...ur un [[Structure (logique mathématique)|modèle]] <math>\mathfrak A</math> de <math>T</math>, on étend <math>\mathcal L</math> en un nouveau langage ...

{{à recycler |date=novembre 2016|thème=logique}} En [[calcul des propositions]], l'<nowiki/>'''élimination de la conjonction '''(aussi appelé '''élimination du ''et''''', '''élimination ...

...ntifications existentielles sur les ensembles. C'est le résultat fondateur de la [[complexité descriptive]]. ...NP sans avoir recours à une notion de modèle de calcul comme la [[machine de Turing]]. ...

...En [[logique]] et en [[mathématiques]], la '''négation''' est un opérateur logique [[Arité|unaire]]. Il sert à nier une proposition. On note la négation d'une proposition ''P'' de diverses manières dont : ...

...istential Quantification.png|alt=quantificateur il existe|vignette|Symbole mathématique du quantificateur d'existence.]] ...icat]], <math>P</math> se note <math>\exist x P(x)</math>, où le [[symbole mathématique]] <math>\exist</math>, lu « il existe », est le '''quantificateur existenti ...

{{Homophone|Example}}{{ébauche|logique}} L'exemple est une [[figure de style]] courante en rhétorique. ...

...ablis. Par exemple, les [[Raisonnement par disjonction de cas|disjonctions de cas]] ou les [[Preuve par induction|preuves par induction]] sont des preuve ...ont la [[Raisonnement par l'absurde|preuve par l'absurde]] ou la [[méthode de descente infinie]]. ...

...Frege]] et constituent les premiers systèmes déductifs, avant l'apparition de la [[déduction naturelle]] ou du [[calcul des séquents]], appelés parfois p ...ules ''valides'' du calcul propositionnel. Une ''déduction'' est une suite de formules telle que chaque formule <math>A</math> apparaissant dans cette su ...

...u premier ordre]] est en '''forme prénexe''' si tous ses [[Quantificateur (logique)|quantificateurs]] (<math>\forall</math> et <math>\exists</math>) apparaiss ...se mesure à son premier quantificateur et au nombre d'alternance de blocs de quantificateurs universels ou existentiels qui le suivent et précèdent la f ...

{{ébauche|logique|mathématiques}} ...easoning and Logic}}</ref>. La [[logique minimale]] est essentiellement la logique intuitionniste sans la règle explicite d'{{latin|ex falso quodlibet}}. ...

{{ébauche|mathématiques|logique}} ...as confondre avec la notion d'[[application réciproque]] ni avec la notion de [[contraposée]].}} ...

...ontraposée''' de « si A alors B ». Par exemple, la proposition contraposée de la proposition « s'il pleut, alors le sol est mouillé » est « si le sol n'e ...d'inférence selon laquelle, si une proposition est vraie, alors il en est de même pour sa proposition contraposée. ...

...ique]], la '''propriété de Church-Rosser''' est une propriété des systèmes de [[Réécriture (informatique)|réécriture]]. Elle est nommée ainsi d'après les ...formatique)|réécriture]], et notons <math>\rightarrow_R</math> la relation de réduction, <math>\rightarrow_R^*</math> sa [[clôture réflexive transitive]] ...

...formule dérivée des axiomes avec un nombre fini d'applications des règles de déduction. ...les. Cette équivalence fait l'objet d'un [[#Complétude du système|théorème de complétude]]. ...