第二节公式与解释 本节主要内容有: 1用递归的方法定义了命题公式 2给出了命题的解释或赋值的概念; 3定义了公式的真值表; 4给出了恒真、恒假及可满足公式的定义; 5给出了两个命题公式等价的概念及14个基 本的等价式; 6给出了命题逻辑的两个简单的实际应用 3 返回本章首页 2021/1/212021/1/21 3 第二节 公式与解释 本节主要内容有: 1.用递归的方法定义了命题公式； 2.给出了命题的解释或赋值的概念； 3.定义了公式的真值表； 4.给出了恒真、恒假及可满足公式的定义; 5.给出了两个命题公式等价的概念及14个基 本的等价式; 6.给出了命题逻辑的两个简单的实际应用. 返回本章首页