« Logique du premier ordre » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (8 versions intermédiaires par 3 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
== Définition == | == Définition == | ||
La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique. | La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique. | ||
aussi '''[[Calcul des prédicats]]''' | |||
==Compléments== | |||
La logique de premier ordre étend la logique propositionnelle avec les prédicats (attribut, propriété, relation) et la quantification (POUR TOUT, IL EXISTE, etc.). | |||
Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x). | |||
== Français == | == Français == | ||
''' Logique du premier ordre''' | ''' Logique du premier ordre''' | ||
''' | '''Logique des prédicats''' | ||
'''Calcul des prédicats du premier ordre''' | |||
== Anglais == | == Anglais == | ||
| Ligne 16 : | Ligne 23 : | ||
'''Predicate logic''' | '''Predicate logic''' | ||
==Sources== | |||
[https://www.btb.termiumplus.gc.ca/tpv2source?lang=fra&srchtxt=logique%20premier%20ordre&i=1&index=frt&src_id=IRIA-21984,GOEXP1984,BONINT1984,TESIN1984&rlang=fr&titl=logique%20du%20premier%20ordre&fchrcrdnm=1#resultrecs Termium] | [https://www.btb.termiumplus.gc.ca/tpv2source?lang=fra&srchtxt=logique%20premier%20ordre&i=1&index=frt&src_id=IRIA-21984,GOEXP1984,BONINT1984,TESIN1984&rlang=fr&titl=logique%20du%20premier%20ordre&fchrcrdnm=1#resultrecs Termium] | ||
[https://liris.cnrs.fr/~ecoquery/dokuwiki/lib/exe/fetch.php?media=enseignement:logique:logique-memo5.pdf Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery, ] | [https://liris.cnrs.fr/~ecoquery/dokuwiki/lib/exe/fetch.php?media=enseignement:logique:logique-memo5.pdf Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery, ] | ||
[https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | [https://en.wikipedia.org/wiki/Glossary_of_artificial_intelligence Source : Wikipedia] | ||
[https://fr.wikipedia.org/wiki/Calcul_des_pr%C3%A9dicats Wikipédia - Calcul des prédicats] | |||
[https://www.24pm.com/117-definitions/360-logique-du-premier-ordre Source : 24pm Academy] | [https://www.24pm.com/117-definitions/360-logique-du-premier-ordre Source : 24pm Academy] | ||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Dernière version du 28 janvier 2024 à 10:30
Définition
La logique du premier ordre (également appelée logique des prédicats et calcul des prédicats du premier ordre) est un ensemble de systèmes formels utilisés en mathématiques, en philosophie, en linguistique et en informatique.
aussi Calcul des prédicats
Compléments
La logique de premier ordre étend la logique propositionnelle avec les prédicats (attribut, propriété, relation) et la quantification (POUR TOUT, IL EXISTE, etc.).
Par exemple, la phrase « Tout homme est mortel. » se traduit en logique premier ordre POUR TOUT x, homme(x) IMPLIQUE est_mortel(x) comporte le quantificateur POUR TOUT et les prédicats est_mortel(x) et homme(x).
Français
Logique du premier ordre
Logique des prédicats
Calcul des prédicats du premier ordre
Anglais
First-order logic
Predicate logic
Sources
Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery,
Contributeurs: Claude Coulombe, Imane Meziani, Pierre Labreche, wiki
