Introduction to Logic
Negation Elimination
Negation Elimination
is a
rule of inference
that allows us to delete double negatives.
Negation Elimination
¬¬φ
φ