About: Propositional calculus

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

About: Propositional calculus Goto Sponge Distinct Permalink

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

Attributes	Values
rdfs:label	Aussagenlogik (de) Calcul des propositions (fr) Logica proposizionale (it) Logika proposizional (eu) Lògica proposicional (ca) Lógica proposicional (es) Lógica proposicional (pt) Mệnh đề toán học (vi) Propositional calculus (en) Rachunek zdań (pl) Satslogik (sv) Логика высказываний (ru) Числення висловлень (uk) حساب القضايا (ar) 命題論理 (ja)
rdfs:comment	Le calcul des propositions ou calcul propositionnel fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts . Il est considéré comme la forme moderne de la logique stoïcienne. (fr)
rdfs:seeAlso	http://philpapers.org/browse/propositional-logic http://www.universalis.fr/encyclopedie/calcul-propositionnel https://commons.wikimedia.org/wiki/Category:Propositional_logic https://www.britannica.com/topic/logic-of-propositions https://www.britannica.com/topic/propositional-calculus https://www.jstor.org/topic/propositional-logic https://bigenc.ru/text/2177731 https://www.quora.com/topic/Propositional-Logic http://psh.ntkcz.cz/skos/PSH7100 http://www.omegawiki.org/DefinedMeaning:967134 http://mathworld.wolfram.com/PropositionalCalculus.html
sameAs	Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus Propositional calculus
Wikipage page ID	16594 (xsd:integer)
Wikipage revision ID	190015642 (xsd:integer)
dbo:wikiPageWikiLink	Boolean algebra (structure) Heyting algebra Lindenbaum–Tarski algebra Identity function dbpedia-fr:Arend_Heyting dbpedia-fr:Auguste_De_Morgan Bertrand Russell First-order logic Sequent calculus category-fr:Logique category-fr:Logique_mathématique category-fr:Théorie_de_la_complexité_des_algorithmes dbpedia-fr:Charles_Sanders_Peirce Co-NP Logical conjunction Logical connective dbpedia-fr:David_Hilbert dbpedia-fr:Disjonction_logique dbpedia-fr:Distributivité Duality (mathematics) dbpedia-fr:Déduction_logique dbpedia-fr:Déduction_naturelle Countable set

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