Résultats de la recherche

{{Ébauche|logique}} ...ropositionnelles]], utilisés en [[logique propositionnelle]] et dans des [[Logique d'ordre supérieur|logiques d'ordre supérieur]]. ...

...ématiques]], '''cap''' est le nom utilisé pour désigner les symboles ayant la forme d'un U renversé ou d'un arc pointant vers le haut. Deux variantes du ...ologie]]. Il est parfois également utilisé pour noter la [[concaténation]] de deux [[n-uplet|n-uplets]]<ref>{{Lien web|langue=en|titre=Is there a common ...

[[Fichier:Venn1110.svg|vignette|[[Diagramme de Venn]] de <math>A \uparrow B</math>.]] ...bre booléenne]] et en [[électronique numérique]], il est connu sous le nom de l{{'}}'''opération NON-ET'''. ...

{{Ébauche|logique}} ...isfaisant les conditions de ce dernier — l'[[axiomes de Peano|arithmétique de Peano]] par exemple — pour toute formule ''P'', s'il est démontrable dans T ...

{{ébauche|mathématiques|logique}} Ainsi, on pourra trouver dans un manuel de mathématiques des énoncés de la forme : ...

...Turing]]. Le principe de Markov dit que s'il est impossible qu'une machine de Turing ne s'arrête pas, alors elle doit s'arrêter.]] ...]], est une déclaration d'existence conditionnelle pour laquelle il existe de nombreuses formulations, ainsi qu'il est discuté ci-dessous. ...

...dénotation'' par opposition au ''sens''|la ''dénotation'' par opposition à la ''connotation''|Dénotation et connotation}} ...''' 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 ...

...oche en certains points du [[Langage naturel|langage ordinaire]]. Un telle logique doit notamment satisfaire les règles suivantes : * Il y est absurde de considérer qu'une [[Proposition (philosophie)|proposition]] puisse implique ...

...e personne ayant la propriété : Si cette personne boit, tout le monde dans la pièce boit.}} ...n]], qui l'a appelé le ''{{Langue|en|drinking principle}}'' dans son livre de 1978 ''{{Langue|en|What Is the Name of This Book?}}''<ref name="Smullyan">{ ...

Le '''[[langage]] de la [[logique]]''' s'est progressivement constitué pour remédier à l'incapacité des [[lan ...e d'erreurs philosophiques et une notation parfaite serait un substitut de la pensée<ref>{{Ouvrage|prénom1=Ludwig|nom1=Wittgenstein|traducteur=[[Gilles G ...

...ité générale selon laquelle, si une proposition est vraie, alors il en est de même pour sa [[proposition contraposée]]. ...lle « P implique Q » et la négation du conséquent Q entraînent la négation de l'antécédent P. ...

...''F'', associe l'ensemble des [[Application (mathématiques)|applications]] de ''E'' dans ''F''. Cet ensemble est souvent noté<ref>{{Halmos65}}.</ref> ''F ...ble des [[Famille (mathématiques)|familles]] indexées par ''E'' d'éléments de ''F'' : ...

...|Lettre U]], la {{21e|[[Lettre (alphabet)|lettre]]}} et {{5e|[[voyelle]]}} de l'[[alphabet latin]]. * ''[[U (film)|U]]'', film français de [[Serge Élissalde]] et [[Grégoire Solotareff]], sorti en 2006 ; ...

...réussite d'un [[coureur (baseball)|coureur]] dans ses tentatives de [[vol de base]]. ...nt le plus de chance de réussir mais aussi de rater. Il est donc difficile de comparer les performances ''relatives'' des meilleurs coureurs. ...

...ture considérée est plus grande. À l'inverse, la [[spécialisation]] permet de se focaliser davantage sur certains objets ayant des caractéristiques commu == La généralisation dans les sciences == ...

...|Page de titre de l'ouvrage de [[Gottlob Frege|Frege]] de 1879, ''{{Langue|de|Begriffschrift}}'' (''Idéographie'').]] ...Frege]] et qui a pour but de représenter de manière parfaite la [[logique|logique mathématique]]. ...

{{confusion|Problème de décision}} ...noncé est universellement valide, c’est-à-dire vrai dans tous les modèles (de l'égalité). ...

...n Jingrun à l'université de [[Xiamen]]]][[Image:Fjsdfz jr.JPG|thumb|Statue de Chen à [[Fuzhou]]]] ...u {{s-|XX|e}}, et l'un des mathématiciens chinois les plus importants de l'histoire. ...

...re|texte=Grand modèle de langage (même abrégé en anglais LLM)|Grand modèle de langage}} ...oppé par Marco Muselli, chercheur principal au Conseil national italien de la recherche CNR-IEIIT à [[Gênes]]. ...

...rit, {{Citation bloc|Priver le mathématicien du ''tertium non datur'' [pas de troisième possibilité] serait enlever son télescope à l'astronome, son poin ...''p'' et ''non-p'' ne peuvent être simultanément vraies, c'est-à-dire que la conjonction « ''p'' et ''non-p'' » est nécessairement fausse. ...