home/glossary/Propositional Logic

Propositional Logic

nounverified·updated May 18, 2026

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

MWE

Classifications

Entity Type

Unknownauthoritativeglossary_import_default_pending_classifier
?unassignedlast reviewed

Sensitivity

unclassified

Information Class

unclassified

Variants

synonym
propositional calculus
plural
Propositional Logics
possessive
Propositional Logic's
pluralpossessive
Propositional Logics'