Similar to 定理
3
3
4
4
5
5
6
6
7
7
8
8
9
9
1048576
1048576
12345679
論理式 (数学)
Logical formula原子論理式
Atomic formula
シークエント
Sequent推論規則
Rule of inference
数式
Expression (mathematics)
全称記号
Universal quantificationトートロジー
Tautology (language)
ポーランド記法
Polish notation
アブダクション
Abductive reasoning
意味論 (論理学)
演繹
Deductive reasoning
外延
Extension (semantics)
擬似問題
疑念
Doubt
共有知識
Common knowledge (logic)
決定可能性
Decidability (logic)
公理
Axiom合理性
Rationality
自己言及
Self-reference
