Similar to 自由変数と束縛変数

• 

  ⊃

  
• 

  ⊢

  
• 

  ⊤

  
• 

  ⊥

  
• 

  ⊨

  
• 

  ◊

  
• 

  アンパサンド

  Ampersand
  
• 

  外積 (曖昧さ回避)

  
• 

  キャレット

  Caret
  
• 

  合同記号

  Triple bar
  ▼-1 trends

  
• 

  合同否定

  
• 

  シークエント計算

  Sequent calculus
  
• 

  垂直記号

  Up tack
  
• 

  全称記号

  Universal quantification
  
• 

  ダイヤ (シンボル)

  Diamonds (suit)
  
• 

  ダウンタック記号

  Tee (symbol)
  
• 

  チルダ

  Tilde
  
• 

  バーティカルバー

  Vertical bar
  
• 

  否定記号

  
• 

  否定論理積

  Sheffer stroke
  
• 

  否定論理和

  Logical NOR
  
• 

  部分構造論理

  Substructural logic
  
• 

  無矛盾

  Consistency
  
• 

  矢印

  Arrow (symbol)
  
• 

  リテラル

  Literal (computer programming)
  
• 

  ロズンジ

  
• 

  論理的帰結

  Logical consequence
  
• 

  インド数字

  Eastern Arabic numerals