Propositional calculus
flowchart
AA["Associated Authors (0)"]
C[Propositional calculus]
BC["Broader Concepts (3)"]
NC["Narrower Concepts (2)"]
C== skos:broader ==>BC
NC== skos:broader ==>C
AA== dcterms:relation ==>C
click BC "#broader-concepts"
click NC "#narrower-concepts"
click AA "#associated-authors"
NI["add incoming edge"]
NO["add outgoing edge"]
NI-- ? -->C
C-- ? -->NO
click NI "#add-incoming-edge"
click NO "#add-outgoing-edge"
style NI stroke-width:2px,stroke-dasharray: 5 5
style NO stroke-width:2px,stroke-dasharray: 5 5
Graph neighborhood for 'Propositional calculus'. Click aggregate nodes to navigate.
Wikidata
https://www.wikidata.org/wiki/Q200694
OpenAlex ID
https://openalex.org/C69562738 (API record )
OpenAlex 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
OpenAlex Level [?]
2
Broader Concepts
Narrower Concepts
Associated Authors
Add Incoming Edge
Login via ORCiD to contribute.
Add Outgoing Edge
Login via ORCiD to contribute.