About: First-order logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: First-order logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Calcul des prédicats (fr) First-order logic (en) Första ordningens logik (sv) Lehen mailako logika (eu) Logic bậc nhất (vi) Lògica de primer ordre (ca) Lógica de primeira ordem (pt) Lógica de primer orden (es) Prädikatenlogik erster Stufe (de) Rachunek predykatów pierwszego rzędu (pl) Teoria del primo ordine (it) Логика первого порядка (ru) Логіка першого порядку (uk) منطق الرتبة الأولى (ar) 一階述語論理 (ja)
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 : (fr)
rdfs:seeAlso	http://philpapers.org/browse/predicate-logic http://www.universalis.fr/encyclopedie/calcul-des-predicats https://ncatlab.org/nlab/show/predicate_logic https://www.britannica.com/topic/lower-predicate-calculus https://www.jstor.org/topic/predicate-logic https://bigenc.ru/text/2179111
sameAs	First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic First-order logic
Wikipage page ID	108828 (xsd:integer)
Wikipage revision ID	187882233 (xsd:integer)
dbo:wikiPageWikiLink	Alfred North Whitehead Alfred Tarski Algorithm dbpedia-fr:Aristote dbpedia-fr:Arité Proof assistant dbpedia-fr:Axiome_logique Peano axioms Bertrand Russell Bisimulation Propositional calculus Sequent calculus category-fr:Logique category-fr:Logique_mathématique dbpedia-fr:Classe_de_Bernays-Schönfinkel Completeness dbpedia-fr:Connecteur_logique_(linguistique) Curry–Howard correspondence Critique of Pure Reason dbpedia-fr:Décidabilité dbpedia-fr:Déduction_logique dbpedia-fr:Déduction_naturelle Immanuel Kant dbpedia-fr:Gottlob_Frege dbpedia-fr:Kurt_Gödel dbpedia-fr:Logique_classique dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:Logique_de_description dbpedia-fr:Logique_du_dialogue dbpedia-fr:Logique_intuitionniste dbpedia-fr:Logique_mathématique dbpedia-fr:Logique_modale dbpedia-fr:Logique_monadique_du_premier_ordre Mathematical notation Principia Mathematica dbpedia-fr:Problème_NP-complet dbpedia-fr:Problème_SAT dbpedia-fr:Prolog Predicate (grammar) Predicate (mathematical logic) Quantifier (logic) Existential quantification

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 17 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software