Category:論理学
自動定理証明
Automated theorem proving
線形時相論理
Linear temporal logic
冗語
Pleonasm
第一原理
First principle
ソフィスト
Sophist
ヴァイシェーシカ学派
Vaisheshika
数学基礎論
Foundations of mathematics
二項対立
Binary opposition
カルノー図
Karnaugh map
循環論法
Circular reasoning
論文
詭弁
Sophism
数理論理学
Mathematical logic
誤謬
Fallacy
証明
批判的思考
Critical thinking
ロジカルシンキング
パスカルの賭け
Pascal's wager
IMRAD
IMRAD
マルコフ決定過程
Markov decision process
弁証法
Dialectic
自己言及のパラドックス
Liar paradox