About: dbpedia-fr:Formule_propositionnelle

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

About: dbpedia-fr:Formule_propositionnelle 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	Formule propositionnelle (fr) Funkcja zdaniowa (pl)
rdfs:comment	En logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée. (P ET NON Q) IMPLIQUE (P OU Q). (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/SententialFormula.html
sameAs	dbr:Propositional_formula dbpedia-commons:Category:Propositional_formula wikidata:Q1372900 dbpedia-de:Aussageform dbpedia-es:Fórmula_proposicional dbpedia-pl:Funkcja_zdaniowa dbpedia-ru:Пропозициональная_формула http://ma-graph.org/entity/74640108 http://g.co/kg/m/05b5z6
Wikipage page ID	10276530 (xsd:integer)
Wikipage revision ID	189112877 (xsd:integer)
dbo:wikiPageWikiLink	Alan Turing Alfred North Whitehead Alfred Tarski dbpedia-fr:Antinomie Abstract syntax tree dbpedia-fr:Aristote dbpedia-fr:Auguste_De_Morgan Sheffer stroke Bertrand Russell Propositional calculus category-fr:Logique_propositionnelle Closure (mathematics) Logical conjunction dbpedia-fr:Connecteur_logique_(linguistique) dbpedia-fr:Edward_F._Moore dbpedia-fr:Edward_J._McCluskey dbpedia-fr:Emil_Post An Essay Concerning Human Understanding NAND gate Logical NOR Exclusive or Logic gate dbpedia-fr:Forme_de_Backus-Naur dbpedia-fr:Forme_normale_conjonctive dbpedia-fr:Forme_normale_disjonctive dbpedia-fr:Formule_atomique dbpedia-fr:Formule_logique dbpedia-fr:George_Bentham dbpedia-fr:George_Boole dbpedia-fr:George_H._Mealy dbpedia-fr:Gottlob_Frege Henry M. Sheffer Idempotence Artificial intelligence dbpedia-fr:Ivor_Grattan-Guinness dbpedia-fr:Jean_Nicod Jean van Heijenoort dbpedia-fr:John_Locke dbpedia-fr:Langue_vernaculaire dbpedia-fr:Logique_classique dbpedia-fr:Logique_mathématique dbpedia-fr:Loi_commutative dbpedia-fr:Lois_de_De_Morgan dbpedia-fr:Méthode_de_Quine-Mc_Cluskey Reverse Polish notation Polish notation Russell's paradox Principia Mathematica Deductive reasoning Binary relation Richard Whately dbpedia-fr:Récursivité Syllogism dbpedia-fr:Système_binaire dbpedia-fr:Système_formel dbpedia-fr:Sémiotique Truth table Tautology (logic) dbpedia-fr:Test_de_Turing Domain of discourse Truth value Propositional variable Willard Van Orman Quine dbpedia-fr:William_Rowan_Hamilton dbpedia-fr:Équivalence_logique dbpedia-fr:Herbert_Enderton Marvin Minsky Maurice Karnaugh dbpedia-fr:George_Stibitz
page length (characters) of wiki page	45987 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logique_propositionnelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:5e dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Pas_clair dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:S- dbpedia-fr:Modèle:Traduction/Référence dbpedia-fr:Modèle:À_recycler
prov:wasDerivedFrom	wikipedia-fr:Formule_propositionnelle?oldid=189112877&ns=0
foaf:depiction
prop-fr:art	Propositional formula (fr)

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, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software