查看“Akarin:首頁/優良條目”的源代码

[[形式逻辑]]是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。它致力于将人类思维过程反应为语言。在一定程度上追求[[逻辑的必然性|必然]]结论为目的。形式逻辑的基本规律为[[同一律]]、[[矛盾律]]和[[排中律]]。

其他优良条目：