Formal logic

study of propositions, statements, and deductive arguments; practice of deriving conclusions from premises