Similar to チルダ
⇔
∃
∄
∧
∨
⊃
⊢
⊤
⊥
⊨
◊
外積 (曖昧さ回避)
キャレット
Caret▼-1 trends
合同否定
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
ダウンタック記号
Tee (symbol)
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
リテラル
Literal (computer programming)ロズンジ
論理的帰結
Logical consequence
Template:Language-stub
Template:Ling-stub
Ã
ÃCorrectio
