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 Totenkopf1
1▼-1 trends2
2▲1 trends3
34
45
56
67
7▼-1 trends8
89
9空虚な真
Vacuous truth論理式 (数学)
Logical formula原子論理式
Atomic formula定理
Theorem命題
Propositionアッカーマン関数
Ackermann functionアリティ
Arity型理論
Type theoryカット除去定理
Cut-elimination theoremクレイグの補間定理
Craig interpolation後者関数
Successor function