Similar to 全称記号
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
ダウンタック記号
Tee (symbol)
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic
メタ変数
Metavariable
リテラル
Literal (computer programming)
ロズンジ
論理的帰結
Logical consequence
論理式 (数学)
Logical formula原子論理式
Atomic formula
恒真式
Tautology (logic)
シークエント
Sequent
数式
Expression (mathematics)
定理
Theoremトートロジー
Tautology (language)
ポーランド記法
Polish notation
命題
Proposition
命題関数
Propositional function
約物
JIS X 0213非漢字一覧
JIS X 4051
アスタリスク
Asterisk▼-1 trendsアステリズム (記号)
Asterism (typography)
アットマーク
アポストロフィー
Apostrophe
ARIB外字
ARIB STD B24 character set
