deductive closure

principle in logic

Categories: