boolean-valued function boolean function boolean logic conceptual graph entitative graph existential graph formal language formal system laws of form logic logical matrix mathematical logic minimal negation operator propositional calculus propositional formula truth table