演绎逻辑是研究推理的有效性的。命题逻辑研究的推理是关于复合命题之间的演绎推理，由于推理形式是命题形式之间的关系，因此，为研究推理的有效性，就要对命题形式进行分析。 E8PNMI0kNIdLG4Akcv+RylCxKvp/Bd8hhuQss9ZbMb50atR48yA3HAnEWxVCE1mL
