Similar to 存在汎化

• 

  存在例化

  Existential instantiation
  
• 

  普遍汎化

  Universal generalization
  
• 

  普遍例化

  Universal instantiation
  
• 

  0

  0
  ▼-1 trends

  
• 

  1

  1
  ▼-2 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  推論規則

  Rule of inference
  
• 

  論理和の導入

  Disjunction introduction
  
• 

  論理和の消去

  Disjunction elimination
  
• 

  論理積の導入

  Conjunction introduction
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  Template:推論規則

  Template:Transformation rules
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  逆

  Converse (logic)
  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  対偶論法

  Proof by contrapositive
  
• 

  導出原理

  Resolution (logic)
  
• 

  ド・モルガンの法則

  De Morgan's laws
  
• 

  二重否定の除去