formal logic
study of propositions, statements, and deductive arguments; practice of deriving conclusions from premises
en-GB/ˈfɔːml ˈlɒd͡ʒɪk/
en-US/ˈfɔɹməl ˈlɑd͡ʒɪk/
study of propositions, statements, and deductive arguments; practice of deriving conclusions from premises