the science which describes relationships among propositions in terms of implication, contradiction, contrariety, conversion, etc.; logic.