1、同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.

2、基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。

3、第八章介绍应用应用推理等价形式逻辑证明程序正确性。

4、形式逻辑允许你检查合乎逻辑的索赔而没有考虑到索赔的意思.

5、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.