Boolean algebra is undoubtedly an influential machine in algebraic logic to explain propositional logic.[one hundred ten] Propositions are statements that could be accurate or Bogus.[111] Propositional logic takes advantage of reasonable connectives to mix two propositions to form a fancy proposition. For example, the connective "if ... then" may