a modem
type of formal
logic using
special mathematical
symbols to stand for propositions and for the relationships among propositions.
a modern
type of formal
logic using
special mathematical
symbols to stand for propositions and for the relationships among propositions.
a system for applying the principles of
mathematics to logical reasoning, using
symbols to represent exact relationships between concepts.