这一章对命题等值和推理演算的讨论，是以语义的观点进行的非形式的描述，目的是直观容易理解，也便于实际问题的逻辑描述和推理。而严格的形式化的讨论在第三章所建立的公理系统。 　　在数字电路和计算机硬件的设计等领域，命题演算获得了卓有成效的应用。