形式逻辑（Formal logic）是研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究、思维结构的研究与必然推出的研究，它提供检验有效的推理和非有效推理的标准。
关于思维的形式及其规律的科学。研究概念、判断、推理等主要思维形式和研究同一律、矛盾律、排中律等思维规律是形式逻辑的内容。
载请注明：转载自词典网 [https://www.cidian5.com/]
本文地址：https://www.cidian5.com/cidian/mOphwMK.html
