Similar to 論理定項
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
垂直記号
Up tack
全称記号
Universal quantification
ダイヤ (シンボル)
Diamonds (suit)
チルダ
Tilde▼-1 trends
バーティカルバー
Vertical bar▼-1 trends
否定記号
否定論理積
Sheffer stroke
否定論理和
Logical NOR
部分構造論理
Substructural logic無矛盾
Consistency
メタ変数
Metavariable
矢印
Arrow (symbol)▼-1 trends
リテラル
Literal (computer programming)
ロズンジ
空虚な真
Vacuous truth
恒真式
Tautology (logic)推論規則
Rule of inference
数学
Mathematics▼-1 trends
0.999...
0.999...▲1 trends
0次元
Zero-dimensional space
0の0乗
Zero to the power of zero
1次元
One-dimensional space
1+1
1+2+3+4+…
1 + 2 + 3 + 4 + ⋯
1+2+4+8+…
1 + 2 + 4 + 8 + ⋯
1の冪根
Root of unity
