Similar to 論理和の導入

• 

  アレクサンドロフ拡大

  Alexandroff extension
  
• 

  アレクサンドロフの定理

  Alexandrov theorem
  
• 

  アレフ数

  Aleph number
  
• 

  アレン＝カーン方程式

  Allen–Cahn equation
  
• 

  アロンシャイン木

  Aronszajn tree
  ▲1 trends

  
• 

  暗号理論

  Cryptography
  
• 

  暗黒通信団

  Darkside communication group
  
• 

  暗算

  Mental calculation
  
• 

  アンサンブルカルマンフィルタ

  Ensemble Kalman filter
  
• 

  暗数

  Dark figure of crime
  
• 

  アンスコムの例

  Anscombe's quartet
  
• 

  推論規則

  Rule of inference
  
• 

  論理積の導入

  Conjunction introduction
  
• 

  Template:推論規則

  Template:Transformation rules
  
• 

  逆

  Converse (logic)
  
• 

  存在汎化

  Existential generalization
  
• 

  存在例化

  Existential instantiation
  
• 

  対偶論法

  Proof by contrapositive
  
• 

  普遍汎化

  Universal generalization
  
• 

  普遍例化

  Universal instantiation
  
• 

  吸収法則

  Absorption law
  
• 

  同一性

  Identity (philosophy)
  
• 

  パースの法則

  Peirce's law
  
• 

  排中律

  Law of excluded middle
  
• 

  背理法

  Proof by contradiction
  ▲3 trends

  
• 

  フレーゲの定理

  Frege's theorem
  
• 

  無矛盾律

  Law of noncontradiction