Category:命題論理の定理

• 

  導出原理

  Resolution (logic)
  
• 

  排中律

  Law of excluded middle
  
• 

  論理和の消去

  Disjunction elimination
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  パースの法則

  Peirce's law
  
• 

  フレーゲの定理

  Frege's theorem
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  同一性

  Identity (philosophy)
  
• 

  論理和の導入

  Disjunction introduction
  
• 

  吸収法則

  Absorption law
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  二重否定の除去

  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  モーダスポネンス

  Modus ponens
  
• 

  無矛盾律

  Law of noncontradiction
  
• 

  モーダストレンス

  Modus tollens
  
• 

  ド・モルガンの法則

  De Morgan's laws
  
• 

  背理法

  Proof by contradiction
  ▼-1 trends