Similar to 恒真式
0
0▼-1 trends推論規則
Rule of inference
命題関数
Propositional function
議論領域
Domain of discourse
メレオロジー
Mereology
第12SS装甲師団
12th SS Panzer Division Hitlerjugend
第36SS武装擲弾兵師団
Dirlewanger Brigade
第3SS装甲師団
3rd SS Panzer Division Totenkopf
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
空虚な真
Vacuous truth
論理式 (数学)
Logical formula原子論理式
Atomic formula
定理
Theorem
命題
Proposition
アッカーマン関数
Ackermann function
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolation
後者関数
Successor function