Category:論理記号

• 

  ∴

  Therefore sign
  
• 

  ロズンジ

  
• 

  メタ変数

  Metavariable
  
• 

  否定論理積

  Sheffer stroke
  
• 

  ¬

  
• 

  アンパサンド

  Ampersand
  
• 

  全称記号

  Universal quantification
  
• 

  無矛盾

  Consistency
  
• 

  ∵

  
• 

  否定論理和

  Logical NOR
  
• 

  否定記号

  
• 

  シークエント計算

  Sequent calculus
  
• 

  垂直記号

  Up tack
  
• 

  チルダ

  Tilde
  
• 

  合同記号

  Triple bar
  
• 

  論理演算

  Logical connective
  
• 

  論理記号の一覧

  List of logic symbols
  ▼-1 trends

  
• 

  数学記号の表

  Glossary of mathematical symbols
  ▼-1 trends