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