This HTML5 document contains 150 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
n53http://hy.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
dbpedia-arhttp://ar.dbpedia.org/resource/
n24http://fr.dbpedia.org/resource/Modèle:
dbpedia-hehttp://he.dbpedia.org/resource/
n32http://msc2010.org/resources/MSC/2010/
n48http://tl.dbpedia.org/resource/
n26https://bigenc.ru/text/
n9http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n12https://www.britannica.com/topic/
dcthttp://purl.org/dc/terms/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n27http://g.co/kg/m/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n8http://philpapers.org/browse/
dbpedia-eohttp://eo.dbpedia.org/resource/
dbpedia-euhttp://eu.dbpedia.org/resource/
n15http://fr.dbpedia.org/resource/Fichier:
xsdhhttp://www.w3.org/2001/XMLSchema#
n30http://www.universalis.fr/encyclopedie/
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
n25http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-vihttp://vi.dbpedia.org/resource/
n21https://ncatlab.org/nlab/show/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
n11http://mn.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n28http://fr.dbpedia.org/resource/Wikt:
wikidatahttp://www.wikidata.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
n49https://www.jstor.org/topic/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-simplehttp://simple.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Calcul_des_prédicats
rdfs:label
Calcul des prédicats Lehen mailako logika Logic bậc nhất Första ordningens logik Логіка першого порядку Lógica de primeira ordem Teoria del primo ordine منطق الرتبة الأولى First-order logic 一階述語論理 Prädikatenlogik erster Stufe Rachunek predykatów pierwszego rzędu Lògica de primer ordre Логика первого порядка Lógica de primer orden
rdfs:comment
Le calcul des prédicats du premier ordre, ou calcul des relations, logique du premier ordre, logique quantificationnelle, ou tout simplement calcul des prédicats, est une formalisation du langage des mathématiques, proposée par Gottlob Frege, entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties : Sur le plan syntaxique, les langages du premier ordre opposent deux grandes classes linguistiques : et . Les traits caractéristiques de la logique du premier ordre sont :
rdfs:seeAlso
n8:predicate-logic n12:lower-predicate-calculus n21:predicate_logic n26:2179111 n30:calcul-des-predicats n49:predicate-logic
owl:sameAs
dbpedia-el:Λογική_πρώτου_βαθμού dbpedia-zh:一阶逻辑 dbpedia-eo:Predikatkalkulo n11:First-Order_Logic dbpedia-no:Førsteordens_logikk wikidata:Q4055684 dbr:First-order_logic dbpedia-eu:Lehen_mailako_logika dbpedia-he:שפה_מסדר_ראשון dbpedia-ja:一階述語論理 n25:100481476 n27:02yz4 dbpedia-sv:Första_ordningens_logik dbpedia-id:Logika_predikat_tingkat_pertama n32:03B10 dbpedia-sr:Логика_првог_реда dbpedia-ru:Логика_первого_порядка dbpedia-ko:1차_논리 dbpedia-fa:منطق_مرتبه_اول dbpedia-es:Lógica_de_primer_orden dbpedia-ar:منطق_الرتبة_الأولى dbpedia-uk:Логіка_першого_порядку dbpedia-it:Teoria_del_primo_ordine dbpedia-sh:Логика_првог_реда dbpedia-ca:Lògica_de_primer_ordre dbpedia-simple:First_order_logic dbpedia-pt:Lógica_de_primeira_ordem n48:Lohika_ng_unang_orden dbpedia-vi:Logic_bậc_nhất dbpedia-cs:Predikátová_logika_prvního_řádu dbpedia-de:Prädikatenlogik_erster_Stufe n53:Պրեդիկատների_տրամաբանություն dbpedia-hu:Elsőrendű_nyelv dbpedia-pl:Rachunek_predykatów_pierwszego_rzędu
dbo:wikiPageID
108828
dbo:wikiPageRevisionID
187882233
dbo:wikiPageWikiLink
dbpedia-fr:Théorème dbpedia-fr:Théorème_de_Löwenheim-Skolem dbpedia-fr:Prolog dbpedia-fr:Schéma_d'axiomes dbpedia-fr:Logique_monadique_du_premier_ordre dbpedia-fr:Connecteur_logique_(linguistique) dbpedia-fr:Théorie_des_modèles dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Règle_de_résolution dbpedia-fr:Logique_modale dbpedia-fr:Structure_(logique_mathématique) dbpedia-fr:Axiome_logique dbpedia-fr:Syntaxe_(logique) dbpedia-fr:Théorèmes_d'incomplétude_de_Gödel dbpedia-fr:Modus_ponens dbpedia-fr:Problème_NP-complet dbpedia-fr:Logique_de_description dbpedia-fr:Théorème_de_Trakhtenbrot dbpedia-fr:Assistant_de_preuve dbpedia-fr:Bertrand_Russell dbpedia-fr:Prédicat_(logique_mathématique) dbpedia-fr:Logique_d'ordre_supérieur n15:Logiquepremierordre_modele_exemple.png n15:Logiquepremierordre_syntaxe.svg dbpedia-fr:Prédicat_(linguistique) dbpedia-fr:Logique_classique dbpedia-fr:Arité dbpedia-fr:Déduction_naturelle dbpedia-fr:Déduction_logique dbpedia-fr:Variable_(mathématiques) dbpedia-fr:Décidabilité n28:monadique dbpedia-fr:Notation_(mathématiques) dbpedia-fr:Alfred_Tarski dbpedia-fr:Kurt_Gödel dbpedia-fr:Algorithme dbpedia-fr:Principia_Mathematica dbpedia-fr:Mathématiques dbpedia-fr:Bisimulation dbpedia-fr:Alfred_North_Whitehead dbpedia-fr:Système_à_la_Hilbert dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Quantification_existentielle dbpedia-fr:Critique_de_la_raison_pure dbpedia-fr:Calcul_des_séquents dbpedia-fr:Sémantique_des_jeux dbpedia-fr:Calcul_des_propositions dbpedia-fr:Théorème_d'interpolation_de_Craig dbpedia-fr:Quantificateur_(logique) dbpedia-fr:Gottlob_Frege dbpedia-fr:Emmanuel_Kant dbpedia-fr:Théorie_de_la_démonstration dbpedia-fr:Skolémisation dbpedia-fr:Terme_(logique) dbpedia-fr:Sémantique_axiomatique dbpedia-fr:Complétude category-fr:Logique_mathématique category-fr:Logique dbpedia-fr:Science dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_intuitionniste dbpedia-fr:Signature_(logique) dbpedia-fr:Classe_de_Bernays-Schönfinkel dbpedia-fr:Théorème_de_Lindström dbpedia-fr:Théorie_axiomatique dbpedia-fr:Problème_SAT dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Correspondance_de_Curry-Howard dbpedia-fr:Logique_du_dialogue dbpedia-fr:Théorème_de_compacité dbpedia-fr:Aristote
dbo:wikiPageLength
27998
dct:subject
category-fr:Logique category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n24:Refsou n24:Palette n24:Article_détaillé n24:Langue n24:ISBN n24:S n24:S- n24:Référence_nécessaire n24:Références n24:Portail n24:...
prov:wasDerivedFrom
wikipedia-fr:Calcul_des_prédicats?oldid=187882233&ns=0
foaf:depiction
n9:Logiquepremierordre_syntaxe.svg n9:Logiquepremierordre_modele_exemple.png
dbo:thumbnail
n9:Logiquepremierordre_syntaxe.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Calcul_des_prédicats
dbo:abstract
Le calcul des prédicats du premier ordre, ou calcul des relations, logique du premier ordre, logique quantificationnelle, ou tout simplement calcul des prédicats, est une formalisation du langage des mathématiques, proposée par Gottlob Frege, entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties : * la syntaxe définit le vocabulaire symbolique de base ainsi que les règles permettant de construire des énoncés complexes, * la sémantique interprète ces énoncés comme exprimant des relations entre les éléments d'un domaine, également appelé modèle. Sur le plan syntaxique, les langages du premier ordre opposent deux grandes classes linguistiques : * les constituants servant à identifier ou nommer des éléments du domaine : variables, symboles de constantes, termes ; * les constituants servant à exprimer des propriétés ou des relations entre ces éléments : prédicats et formules. Un prédicat est une expression linguistique qui peut être reliée à un ou plusieurs éléments du domaine pour former une phrase. Par exemple, dans la phrase « Mars est une planète », l'expression « est une planète » est un prédicat qui est relié au nom (symbole de constante) « Mars » pour former une phrase. Et dans la phrase « Jupiter est plus grand que Mars », l'expression « est plus grand que » est un prédicat qui se relie aux deux noms, « Jupiter » et « Mars », pour former une phrase. En logique mathématique, lorsqu'un prédicat est lié à une expression, on dit qu'il exprime une propriété (telle que la propriété d'être une planète), et lorsqu'il est lié à deux ou plusieurs expressions, on dit qu'il exprime une relation (telle que la relation d'être plus grand). Ainsi on peut raisonner sur des énoncés comme « Tout est gentil » et « Il existe un tel que pour tout , est ami avec », ce qui exprimé symboliquement se traduit par la formule : et . Il convient de noter cependant que la logique du premier ordre ne contient aucune relation spécifique (comme telle relation d'ordre, d'inclusion ou d'égalité) ; en fait, il ne s'agit que d'étudier la façon dont on doit parler et raisonner avec les expressions du langage mathématique. Les traits caractéristiques de la logique du premier ordre sont : * l'utilisation de variables comme , etc. pour dénoter des éléments du domaine d'interprétation ; * l'utilisation de prédicats (ou relations) sur les éléments ; * l'utilisation de connecteurs logiques (et, ou, implique etc.) ; * l'utilisation de deux quantificateurs, l'un universel (« Quel que soit », « pour tout » noté ∀) et l'autre existentiel (« il existe au moins un … tel que », noté ∃). Le calcul des prédicats du premier ordre égalitaire adjoint au calcul des prédicats un symbole de relation, l'égalité, dont l'interprétation est l'affirmation que deux éléments sont les mêmes, et qui est axiomatisée en conséquence. Suivant le contexte, on peut parler simplement de calcul des prédicats pour le calcul des prédicats égalitaire. On parle de logique du premier ordre par opposition aux logiques d'ordre supérieur, où l'on peut aussi quantifier sur les prédicats ou les fonctions en plus des variables. En outre, cet article ne traite que de la logique du premier ordre classique, mais on notera qu'il existe aussi une logique du premier ordre intuitionniste.