命题逻辑是一种非常强大的表示法，可以描述事物的结构及逻辑特性，也可以刻画不同事物间的共同特征