Similar to 二重否定の除去

12th Infantry Division (South Korea)

Twenty-Fifth Army (Japan)

31st Division (Imperial Japanese Army)

33rd Division (Imperial Japanese Army)

Dirlewanger Brigade

105th Armored Division (North Korea)

Ackermann function

Arity

Converse (logic)

Proof by contradiction

1 + 1 + 1 + 1 + ⋯

1/2 + 1/4 + 1/8 + 1/16 + ⋯

1/2 − 1/4 + 1/8 − 1/16 + ⋯

1/4 + 1/16 + 1/64 + 1/256 + ⋯

Hundredth

Disjunction introduction

Disjunction elimination

Conjunction introduction

Conjunction elimination

Hypothetical syllogism

Contraposition

Resolution (logic)

De Morgan's laws

Identity (philosophy)