propositional logic (n)
propositional calculus (n)

n06165147

type n
lex_filenum 09
def a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Outgoing links
Hypernym symbolic logic, mathematical logic, formal logic
Incoming links
Hyponym symbolic logic, mathematical logic, formal logic

Back to the index

Click for the XML entry