Category:論理記号

• 

  数学記号の表

  Glossary of mathematical symbols
  ▲1 trends

  
• 

  論理記号の一覧

  List of logic symbols
  ▲1 trends

  
• 

  チルダ

  Tilde
  
• 

  バーティカルバー

  Vertical bar
  
• 

  否定論理積

  Sheffer stroke
  
• 

  論理演算

  Logical connective
  
• 

  合同記号

  Triple bar
  
• 

  論理的帰結

  Logical consequence
  
• 

  シークエント計算

  Sequent calculus
  
• 

  否定記号

  
• 

  ダウンタック記号

  Tee (symbol)
  
• 

  部分構造論理

  Substructural logic
  
• 

  論理定項

  Logical constant
  
• 

  全称記号

  Universal quantification
  
• 

  ∃

  
• 

  記号論理の記号

  
• 

  ⇔

  
• 

  ∧

  
• 

  ∨

  
• 

  ⊃

  
• 

  ⊤

  
• 

  ⊥

  
• 

  ⊨

  
• 

  ◊

  
• 

  ¦

  
• 

  →

  →
  
• 

  ∄

  
• 

  外積 (曖昧さ回避)