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.