Similar to モーダスポネンス

• 

  モーダストレンス

  Modus tollens
  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  二重否定の除去

  
• 

  Q.E.D.

  Q.E.D.
  
• 

  QR分解

  QR decomposition
  
• 

  RSA暗号

  RSA cryptosystem
  ▲1 trends

  
• 

  論理和の導入

  Disjunction introduction
  
• 

  論理和の消去

  Disjunction elimination
  
• 

  論理積の導入

  Conjunction introduction
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  導出原理

  Resolution (logic)
  
• 

  ド・モルガンの法則

  De Morgan's laws
  
• 

  同一性

  Identity (philosophy)
  
• 

  排中律

  Law of excluded middle
  
• 

  爆発律

  Principle of explosion
  
• 

  無矛盾律

  Law of noncontradiction
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  ▼-1 trends

  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9