Similar to 定理
7
78
89
91349
1349 (band)1680
1048576
12345679
論理式 (数学)
Logical formula原子論理式
Atomic formulaシークエント
Sequent推論規則
Rule of inference数式
Expression (mathematics)全称記号
Universal quantificationトートロジー
Tautology (language)ポーランド記法
Polish notationアブダクション
Abductive reasoning意味論 (論理学)
Semantics演繹
Deductive reasoning外延
Extension (semantics)擬似問題
疑念
Doubt共有知識
Common knowledge (logic)決定可能性
Decidability (logic)公理
Axiom自己言及
Self-referenceジレンマ
Dilemma真実らしさ
Verisimilitudeスーパータスク
Supertask