Similar to 論理積の導入

• 

  アレクサンドロフの定理

  Alexandrov theorem
  
• 

  アレフ数

  Aleph number
  
• 

  アレン＝カーン方程式

  Allen–Cahn equation
  
• 

  ナフマン・アロンシャイン

  Nachman Aronszajn
  
• 

  アロンシャイン木

  Aronszajn tree
  ▲1 trends

  
• 

  論理和の導入

  Disjunction introduction
  
• 

  論理和の消去

  Disjunction elimination
  
• 

  Template:推論規則

  Template:Transformation rules
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  逆

  Converse (logic)
  
• 

  存在汎化

  Existential generalization
  
• 

  存在例化

  Existential instantiation
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  導出原理

  Resolution (logic)
  
• 

  ド・モルガンの法則

  De Morgan's laws
  ▼-1 trends

  
• 

  普遍汎化

  Universal generalization
  
• 

  普遍例化

  Universal instantiation
  
• 

  恒真式

  Tautology (logic)
  
• 

  中間論理

  Intermediate logic
  
• 

  論理演算

  Logical connective
  
• 

  古典論理

  Classical logic
  
• 

  述語論理

  Predicate logic
  
• 

  同一性

  Identity (philosophy)
  
• 

  排中律

  Law of excluded middle
  
• 

  無矛盾律

  Law of noncontradiction
  
• 

  利用者:I.hidekazu/ルイス＝トルマンの非ニュートン力学

  ▼-2 trends

  
• 

  利用者:Lulusuke/Math01

  
• 

  円周群

  Circle group