Double negation elimination, Double negative elimination, double negation elimination

Double negative elimination

Double negative elimination
دیسه‌ای
¬¬𝐴⊃𝐴
¬¬A⊃A