Similar to 論理演算
アンパサンド
Ampersand外積 (曖昧さ回避)
キャレット
Caret合同記号
Triple bar合同否定
シークエント計算
Sequent calculus自由変数と束縛変数
Free variables and bound variables垂直記号
Up tack全称記号
Universal quantificationダイヤ (シンボル)
Diamonds (suit)ダウンタック記号
Tee (symbol)チルダ
Tilde▲1 trendsバーティカルバー
Vertical bar否定記号
部分構造論理
Substructural logic無矛盾
Consistencyメタ変数
Metavariable矢印
Arrow (symbol)リテラル
Literal (computer programming)ロズンジ
論理的帰結
Logical consequence論理結合子
逆含意
Converse implication論理的真理
Logical truth同値
If and only if排他的論理和
Exclusive or▲1 trends否定
Negation論理積
Logical conjunction