命题公式及逻辑 命题公式的介绍命题公式的定义定义1定义2定义3例 真值表重言式、矛盾式、可满足式n元真值函数 命题公式的介绍 命题公式的定义 定义1 定义2 定义3 例 真值表 重言式、矛盾式、可满足式 n元真值函数