{"id":"Q200694","label":"propositional calculus","description":"branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components","aliases":["sentential calculus","sentential logic","statement logic","zeroth-order logic","propositional logic"],"kind":"thing","url":"https://aidb.si/e/propositional-calculus-Q200694","image":null,"coordinates":null,"wikipedia":"https://en.wikipedia.org/wiki/Propositional_logic","wikidata":"https://www.wikidata.org/wiki/Q200694","website":null,"facts":[{"property":"P2534","label":"Defining formula","values":[{"type":"string","value":"P \\to Q, P \\vdash Q","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2578","label":"Is the study of","values":[{"type":"entity","id":"Q1372900","label":"propositional formula","url":"https://aidb.si/e/propositional-formula-Q1372900","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P279","label":"Subclass of","values":[{"type":"entity","id":"Q17488292","label":"logical system","url":"https://aidb.si/e/logical-system-Q17488292","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P361","label":"Part of","values":[{"type":"entity","id":"Q8078","label":"logic","url":"https://aidb.si/e/logic-Q8078","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q1166618","label":"mathematical logic","url":"https://aidb.si/e/mathematical-logic-Q1166618","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1889","label":"Different from","values":[{"type":"entity","id":"Q8069651","label":"zeroth-order logic","url":"https://aidb.si/e/zeroth-order-logic-Q8069651","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P460","label":"Said to be the same as","values":[{"type":"entity","id":"Q16705128","label":"propositional logic","url":"https://aidb.si/e/propositional-logic-Q16705128","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1552","label":"Has characteristic","values":[{"type":"entity","id":"Q1047000","label":"validity","url":"https://aidb.si/e/validity-Q1047000","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2959","label":"Permanent duplicated item","values":[{"type":"entity","id":"Q16705128","label":"propositional logic","url":"https://aidb.si/e/propositional-logic-Q16705128","rank":"normal","qualifiers":{},"sources":[]}]}],"series":[],"identifiers":[{"pid":"P13750","label":"Arab Encyclopedia concept ID","value":"160220","url":"https://arab-ency.com.sy/details/160220"},{"pid":"P1417","label":"Encyclopædia Britannica Online ID","value":"topic/logic-of-propositions","url":"https://www.britannica.com/topic/logic-of-propositions"},{"pid":"P3219","label":"Encyclopædia Universalis ID","value":"calcul-propositionnel","url":"https://www.universalis.fr/encyclopedie/calcul-propositionnel/"},{"pid":"P14541","label":"Encyclopedia of China (Third Edition) ID (2026)","value":"1W1JDQ","url":"https://www.zgbk.com/ecph/words?SiteID=1&ID=1W1JDQ"},{"pid":"P10565","label":"Encyclopedia of China (Third Edition) old ID (2021)","value":"216779","url":"https://web.archive.org/web/0/https://www.zgbk.com/ecph/words?SiteID=1&ID=216779"},{"pid":"P7554","label":"Encyclopedia of Mathematics article ID","value":"Propositional_calculus(2)","url":"https://encyclopediaofmath.org/wiki/Propositional_calculus(2)"},{"pid":"P646","label":"Freebase ID","value":"/m/04m3r","url":"https://www.google.com/search?kgmid=/m/04m3r"},{"pid":"P9100","label":"GitHub topic","value":"propositional-logic","url":"https://github.com/topics/propositional-logic"},{"pid":"P227","label":"GND ID","value":"4136098-9","url":"https://d-nb.info/gnd/4136098-9"},{"pid":"P2924","label":"Great Russian Encyclopedia Online ID (2017)","value":"2177731","url":"https://web.archive.org/web/0/old.bigenc.ru/text/2177731"},{"pid":"P5088","label":"Internet Encyclopedia of Philosophy ID","value":"prop-log","url":"https://www.iep.utm.edu/prop-log/"},{"pid":"P8189","label":"J9U entity ID","value":"987007541095305171","url":"https://www.nli.org.il/en/authorities/987007541095305171"},{"pid":"P3827","label":"JSTOR topic ID (archived)","value":"propositional-logic","url":"https://web.archive.org/web/*/https://www.jstor.org/topic/propositional-logic"},{"pid":"P8408","label":"KBpedia ID","value":"PropositionalLogic","url":"https://kbpedia.org/knowledge-graph/reference-concept/?uri=PropositionalLogic"},{"pid":"P6058","label":"Larousse ID","value":"divers/calcul_des_propositions/83640","url":"https://www.larousse.fr/encyclopedie/divers/calcul_des_propositions/83640"},{"pid":"P3285","label":"Mathematics Subject Classification ID","value":"03B05","url":"https://zbmath.org/classification/?q=cc:03B05"},{"pid":"P2812","label":"MathWorld ID","value":"PropositionalCalculus","url":"https://mathworld.wolfram.com/PropositionalCalculus.html"},{"pid":"P6366","label":"Microsoft Academic ID (discontinued)","value":"69562738","url":"https://web.archive.org/web/https://academic.microsoft.com/v2/detail/69562738"},{"pid":"P691","label":"NL CR AUT ID","value":"ph127455","url":"https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph127455"},{"pid":"P1245","label":"OmegaWiki Defined Meaning","value":"967134","url":"http://www.omegawiki.org/DefinedMeaning:(967134)"},{"pid":"P10283","label":"OpenAlex ID","value":"C69562738","url":"https://openalex.org/C69562738"},{"pid":"P3235","label":"PhilPapers topic","value":"propositional-logic","url":"https://philpapers.org/browse/propositional-logic"},{"pid":"P6781","label":"ProofWiki ID","value":"Definition:Propositional_Logic","url":"https://proofwiki.org/wiki/Definition%3APropositional_Logic"},{"pid":"P1051","label":"PSH ID","value":"7100","url":"https://psh.techlib.cz/skos/PSH7100"},{"pid":"P3417","label":"Quora topic ID","value":"Propositional-Logic","url":"https://www.quora.com/topic/Propositional-Logic"},{"pid":"P3123","label":"Stanford Encyclopedia of Philosophy ID","value":"logic-propositional","url":"https://plato.stanford.edu/entries/logic-propositional/"},{"pid":"P9322","label":"SVKKL authority ID","value":"0202695-vyrokova-logika","url":"https://ipac.svkkl.cz/arl-kl/cs/detail-kl_us_auth-0202695-vyrokova-logika"},{"pid":"P7993","label":"Treccani's Dizionario di Filosofia ID","value":"calcolo-proposizionale","url":"https://www.treccani.it/enciclopedia/calcolo-proposizionale_(Dizionario-di-filosofia)"},{"pid":"P2347","label":"YSO ID","value":"10364","url":"https://www.yso.fi/onto/yso/p10364"}],"license":{"name":"CC0 1.0","url":"https://creativecommons.org/publicdomain/zero/1.0/"},"source":"Wikidata, via AIDB","modified":"2026-09-28T01:51:46Z"}