« Logique du premier ordre » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (Une version intermédiaire par un autre utilisateur non affichée) | |||
| Ligne 3 : | Ligne 3 : | ||
aussi '''[[Calcul des prédicats]]''' | 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 == | ||
| Ligne 17 : | 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] | ||
| Ligne 24 : | Ligne 29 : | ||
[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
