Similar to 論理和の消去

• 

  論理和の導入

  Disjunction introduction
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  導出原理

  Resolution (logic)
  
• 

  ド・モルガンの法則

  De Morgan's laws
  
• 

  二重否定の除去

  
• 

  モーダストレンス

  Modus tollens
  
• 

  モーダスポネンス

  Modus ponens
  
• 

  0

  0
  
• 

  1

  1
  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  ▲1 trends

  
• 

  12345679

  
• 

  数学

  Mathematics
  
• 

  0.999...

  0.999...
  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  
• 

  1次元

  One-dimensional space
  
• 

  1+1

  
• 

  1+1+1+1+…

  1 + 1 + 1 + 1 + ⋯