Similar to 論理積の導入

• 

  B-スプライン曲線

  B-spline
  
• 

  CR多様体

  CR manifold
  
• 

  推論規則

  Rule of inference
  
• 

  論理積の消去

  Conjunction elimination
  
• 

  選言三段論法

  Disjunctive syllogism
  
• 

  対偶論法

  Proof by contrapositive
  
• 

  二重否定の除去

  
• 

  モーダストレンス

  Modus tollens
  
• 

  モーダスポネンス

  Modus ponens
  
• 

  命題論理

  Propositional logic
  
• 

  真理値表

  Truth table
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  ▼-1 trends

  
• 

  12345679

  
• 

  数学

  Mathematics
  ▲1 trends

  
• 

  0.999...

  0.999...
  ▲1 trends

  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  
• 

  1次元

  One-dimensional space
  
• 

  1+1