double negative elimination

inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula

Categories: