对于命题逻辑部分来说，只需要掌握命题的符号化，以及如何进行推理证明即可。足矣。其他的都是一些基本的概念，扫一遍，记住即可。

对于什么是命题：陈述句、能判断、真值唯一

进行推理证明，我们需要记住以下几个比较重要的公式，其他的都是可以通过自行理解来运用的。

1、条件等价式：

2、德摩根定律：

3、双条件：

对于推演来说，掌握这三个公式就足够了，其他的完全可以通过逻辑想出来的。