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▲1 trends外延
Extension (semantics)擬似問題
疑念
Doubt共有知識
Common knowledge (logic)決定可能性
Decidability (logic)公理
Axiom自己言及
Self-referenceジレンマ
Dilemma真実らしさ
Verisimilitudeスーパータスク
Supertask