Boolean algebra is really an influential product in algebraic logic to explain propositional logic.[a hundred and ten] Propositions are statements that could be genuine or false.[111] Propositional logic makes use of sensible connectives to mix two propositions to here kind a fancy proposition. as an example, the connective "if ... then" can be us