Résultats de la recherche

{{confusion|Logique probabiliste}} {{Ébauche|Logique}} ...

{{Homophone|Example}}{{ébauche|logique}} Un '''exemple''' est une illustration concrète d'un [[Concept_(philosophie)|concept]], d'une [[idée]] ou d'un phénomène plus général. Il sert à clarifier, expl ...

{{ébauche|logique}} ...e)|propriété]] ou [[Relation binaire|relation]] définies par une [[Formule logique|formule]]. D'ordinaire, seules les formules du [[calcul des prédicats|calcu ...

...de la [[logique mathématique]], le '''diagramme''' d'une structure est un concept simple mais utile pour prouver des propriétés d'une [[Théorie axiomatique|t ...math>T</math> une théorie de <math>\mathcal L.</math> Pour un [[Structure (logique mathématique)|modèle]] <math>\mathfrak A</math> de <math>T</math>, on étend ...

En [[logique mathématique]], un '''prédicat''' d'un langage est une propriété des objets ...e]] ou d'arité 3 etc.), etc. Un prédicat d'arité ''n'' s'interprète, en [[logique classique]], par une fonction à ''n'' argument sur l'univers du discours, e ...

...)|valide]], qui prend la forme d'un [[syllogisme]] ayant une [[Disjonction logique|déclaration disjonctive]] dans l'une de ses [[prémisse]]s<ref name="Hurley" ...la déclaration. La règle permet d'éliminer une disjonction d'une [[preuve logique]]. Il est la règle selon laquelle: ...

...aîne de caractères|chaînes de symboles]] peuvent être divisés en [[Formule logique|formules bien formées]]. Un langage formel peut être considéré comme identi ...Système formel|systèmes formels]] sans tenir compte de l'[[Interprétation (logique)|interprétation]] ou du [[Sens (linguistique)|sens]] qui leur est donné. ...

...n objet <math>x</math> satisfaisant une certaine propriété, ou [[Prédicat (logique mathématique)|prédicat]], <math>P</math> se note <math>\exist x P(x)</math> ...math>x</math> a la propriété <math>P(x)</math> s'exprime par une [[formule logique|formule]] du [[calcul des prédicats]]. Pour exemples, ...

...b|langue=fr|auteur1=D. Bonnay|auteur2=Mikael Cozic|titre=Introduction à la logique et à la sémantique formelle|url=http://mikael.cozic.free.fr/CogQR.pdf |form ...b|langue=fr|format=pdf|auteur1=Géraud Sarrebourse de la Guillonnière|titre=Logique|url=https://cel.archives-ouvertes.fr/cel-00765691v1|date=23/01/2012|consult ...

...ogique minimale n'aborde pas le concept de contradiction et représente une logique sans véritable négation. == Présentation de la logique minimale == ...

...''' ou '''dénotation''' est l'objet dont parle un mot ou une [[Expression (logique)|expression]]. Par exemple l'expression « [[wikt:astre du jour|Astre du jou == L'histoire du concept de référence == ...

{{ébauche|mathématiques|logique}} ...à inventer une démonstration à partir d'exemples, s'appelle l'[[Induction (logique)|induction]] et ne doit pas être confondue avec le [[raisonnement par récur ...

...stence et de l'unicité est usuellement notée à l'aide du [[quantificateur (logique)|quantificateur]] « ∃! ». {{Portail|logique|mathématiques}} ...

...]] qui consiste à [[Abstraction (philosophie)|abstraire]] un ensemble de [[concept (philosophie)|concepts]] ou d'[[objet (philosophie)|objets]] en négligeant === Mathématiques et logique === ...

...|fonction caractéristique]] est une [[fonction récursive]] au sens de la [[logique mathématique]]. ...notion d'ensemble récursivement énumérable (non récursif) est plutôt un ''concept constructif'', dont le contenu se précise et se comprend de mieux en mieux ...

...i que les raisonnements qui s'ensuivent. Ces distinctions relèvent de la [[logique]], de la [[rhétorique]], de la [[linguistique]] et de la [[métaphysique]]. == Les modalités ''de dicto'' et ''de re'' en logique formelle == ...

...Frege]] et qui a pour but de représenter de manière parfaite la [[logique|logique mathématique]]. ...et (symbole)|⊢]] » ou de [[Tautologie (logique)|tautologie]] [[Correction (logique)#Correction (faible)|modélisation]] « ⊨ ». ...

L''''analyse formelle de concepts''' (en anglais ''Formal Concept Analysis'', '''FCA''') s'attache à étudier les concepts lorsqu'ils sont déc ...que<ref>{{Ouvrage|langue=française|auteur1=A. Arnauld & P. Nicole|titre=La logique ou l'art de penser|éditeur=[[Éditions Gallimard|Gallimard]]|année=1992|page ...

...ie formelle entre les démonstrations des [[systèmes à la Hilbert]] et la [[logique combinatoire]], puis à 1969, quand [[William Alvin Howard]] remarqua que le ...aux allant des années 1960 à nos jours : [[sémantique dénotationnelle]], [[logique linéaire]], [[réalisabilité]], [[démonstration automatique]], etc. ...

Les gardes sont un concept fondamental des [[commandes gardées]], un langage de [[méthode formelle]]s. ...équivaut à combiner les différentes gardes avec un [[opérateur logique|et logique]], sauf qu'il peut y avoir d'autres clauses ...