Similar to 二重否定の除去

12th Infantry Division (South Korea)

Twenty-Fifth Army (Japan)

31st Division (Imperial Japanese Army)

33rd Division (Imperial Japanese Army)

Dirlewanger Brigade

81st Group Army

105th Armored Division (North Korea)

Ackermann function

Arity

Converse (logic)

Proof by contradiction

Frege's theorem

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