记载了计算机中命题逻辑中的相关基础知识。文章主要的内容来自《计算机科学的基础》第12章，也有部分基础内容是我在网络上摘抄的。此文章主要为了大家更好的理解命题逻辑，进而更好的理解计算机。