Similar to 論理和の導入

• 

  論理和の消去

  Disjunction elimination
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  導出原理

  Resolution (logic)
  
• 

  ド・モルガンの法則

  De Morgan's laws
  
• 

  二重否定の除去

  
• 

  モーダストレンス

  Modus tollens
  
• 

  モーダスポネンス

  Modus ponens
  
• 

  0

  0
  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  ▼-1 trends

  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  矛盾許容論理

  Paraconsistent logic
  
• 

  適切さの論理

  Relevance logic
  
• 

  グレアム・プリースト

  Graham Priest
  
• 

  分配法則

  Distributive property
  
• 

  ジャン＝イヴ・ベジオ

  Jean-Yves Béziau
  
• 

  数学

  Mathematics
  
• 

  0.999...

  0.999...
  ▼-1 trends