At first, George Boole introduced conditional propositions as the basis for better development of propositional logic. A compound statement composed two atomic statements (antecedent and consequent) by connective 'if—then' is called For example: "If it raining, then roads are wet". Here first this proposition, 'It raining,' antecedent, second, 'the wet,' consequent. The material in which false ...