经典命题逻辑是现代形式逻辑的基础。
Using a truth table is one of the important ways for proposition logic.真值表方法是命题逻辑的一种重要的方法。
In the viewpoint of proposition logic and based on extension theory, a new method for proposition representation is proposed.从命题逻辑的角度,以可拓论为基础,建立了命题表示的一种新方法,提出了物元命题、事元命题和事物元命题的概念;