« Logique du premier ordre » : différence entre les versions

Version du 11 août 2022 à 15:37

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

Termium

Mémo : Cours logique - Mémo n˚5, Logique du premier ordre, Emmanuel Coquery,

Source : Wikipedia

Wikipédia - Calcul des prédicats

Source : 24pm Academy

@@ Ligne 3 : / Ligne 3 : @@
 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 ==
@@ Ligne 16 : / Ligne 22 : @@
 '''Predicate logic'''
 <small>
@@ Ligne 24 : / Ligne 29 : @@
 [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]
 [[Catégorie:GRAND LEXIQUE FRANÇAIS]]

« Logique du premier ordre » : différence entre les versions