Similar to 導出原理

• 

  Axiom (数式処理システム)

  Axiom (computer algebra system)
  
• 

  CFL条件

  Courant–Friedrichs–Lewy condition
  
• 

  Disquisitiones Arithmeticae

  Disquisitiones Arithmeticae
  
• 

  DTIME

  DTIME
  
• 

  EXPSPACE

  EXPSPACE
  
• 

  EXPTIME

  EXPTIME
  
• 

  Mizar

  Mizar system
  
• 

  論理和の導入

  Disjunction introduction
  
• 

  論理和の消去

  Disjunction elimination
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  仮言三段論法

  Hypothetical syllogism
  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  対偶 (論理学)

  Contraposition
  
• 

  ド・モルガンの法則

  De Morgan's laws
  
• 

  二重否定の除去

  
• 

  モーダストレンス

  Modus tollens
  
• 

  モーダスポネンス

  Modus ponens
  
• 

  B-Method

  B-Method
  
• 

  Communicating Sequential Processes

  Communicating sequential processes
  
• 

  0

  0
  ▼-1 trends

  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8