Similar to ド・モルガンの法則

• 

  P≠NP予想

  P versus NP problem
  ▼-1 trends

  
• 

  Scripta Mathematica

  Scripta Mathematica
  
• 

  論理和の導入

  Disjunction introduction
  
• 

  論理和の消去

  Disjunction elimination
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  導出原理

  Resolution (logic)
  
• 

  二重否定の除去

  
• 

  モーダストレンス

  Modus tollens
  
• 

  モーダスポネンス

  Modus ponens
  
• 

  0

  0
  ▲1 trends

  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  1093

  1093 (number)
  
• 

  12345679

  
• 

  数学のエポニムの一覧

  
• 

  アーベルの定理

  
• 

  アインシュタインの定数

  Einstein's constant
  
• 

  アルティン予想