命题公式(P∨Q)→R共有多少个不同的解释

列一个真值表：
p q r s 式子
1 0 0 0
……
共2^4=16项，如果都是0，为永假，都是1则永真，有0有1为可满足
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
奥，什么时候补充的， 没有看到，不好意思。
求出析取范式和合取范式
((p∨q)→r)←→s
<=> (((p∨q)→r)→s)∧(s→((p∨q)→r))
<=> (�0�1((p∨q)→r)∨s)∧(�0�1s∨((p∨q)→r))
<=> (�0�1(�0�1(p∨q)∨r)∨s)∧(�0�1s∨(�0�1(p∨q)∨r))
<=> (�0�1((�0�1p∧�0�1q)∨r)∨s)∧(�0�1s∨((�0�1p∧�0�1q)∨r))
<=> (�0�1((�0�1p∨r)∧(�0�1q∨r))∨s)∧(�0�1s∨((�0�1p∨r)∧(�0�1q∨r)))
<=> ((�0�1(�0�1p∨r)∨�0�1(�0�1q∨r))∨s)∧(�0�1s∨((�0�1p∨r)∧(�0�1q∨r)))
<=> (((p∧�0�1r)∨(q∧�0�1r))∨s)∧(r∨�0�1s∨(�0�1p∧�0�1q)∨(�0�1p∧r)∨(�0�1q∧r))
<=> (p∧�0�1r∧�0�1s)∨(q∧�0�1r∧�0�1s)∨(r∧s)∨(�0�1p∧�0�1q∧s)∨(�0�1p∧r∧s)∨(�0�1q∧r∧s) （析取范式）
<=> (p∨q∨s)∧(p∨�0�1r∨s)∧(q∨�0�1r∨s)∧(�0�1r∨s)∧(�0�1p∨�0�1q∨r∨�0�1s)∧(�0�1p∨r∨�0�1s)∧(�0�1q∨r∨�0�1s) （合取范式）
一个命题是永真式当且仅当它的析取范式包含一个命题符号及其否定式
一个命题是永假式当且仅当它的合取范式包含一个命题符号及其否定式
在题目的情况下，原命题为可满足式
若令r=�0�1p，那么析取范式化为：
(p∧�0�1s)∨(p∧q∧�0�1s)∨(�0�1p∧s)∨(�0�1p∧�0�1q∧s)
再令s=�0�1p，化为：p∨(p∧q)∨�0�1p∨(�0�1p∧�0�1q)
此时，析取范式包含p和�0�1p，即为永真式。

命题公式是蕴涵式，成假赋值只有一种情况，是p真q∧┐r 假时，q∧┐r 假有三种情况，q,r都真或都假，或q假r真，所以命题公式的成假赋值是111,101,100，对应的十进制数是7,5,4，所以主合取范式是M4∧M5∧M7。
成真赋值是000,001,010,011,110，主析取范式是m0∨m1∨m2∨m3∨m6。
命题公式是可满足式。

下面是有关命题的定义及基本解释。自己好好理解一下命题概念学习本章首先要深刻理解命题的概念。理解原子命题与复合命题的关系，在了解复合命题的基础上，理解联结词的定义。
命题：具有唯一真值的陈述句称为命题，又简称语句。注意，这里有两个条件，首先它是一个陈述句，其次，它具有唯一的一个真值。
真值：就是语句为真或假的性质。一个语句的真值可以为真也可以为假。真值不是说该语句的值必为真。
任一命题必有其真值，也称这个命题的值。既然是命题了，那它必有一个确定的真值，不管这个真值为真还是为假。当一个陈述句能够分辩其值的真假时(也就是说，总可以肯定是其中的某一个)，它就是命题，即使我们不知道它是真还是假。
另外要理解命题常量、命题变元及指派的含义。
复合命题就是一些原子命题经过一些联结词复合而成的命题。常用的联结词有：(1)否定、(2)合取、(3)析取、(4)条件、(5)双条件
复合命题与联系词是密切相关的，不包含联结词的命题就是原子命题，至少包含一个联结词的命题才是复合命题。
复合命题的真值只取决于构成它们的各原子命题的真值，而与它们的内容含义无关。对联结词所联结的两原子命题之间有无关系无关。(这一条很重要，因为一个命题用自然语言表达时，我们往往会受到自然逻辑的影响，比如"我如果不上班，那么天下雨"这种命题，在自然的逻辑里，是不成立的，一个人不上班怎么会导致天下雨呢 但是在这里，这个复合命题的值实际上是由两个原子命题的真值决定的，与它的含义无关，这个复合命题是|P->Q ,前一个原子命题的真值为假，后一命题值为真，根据条件的定义，这个复合命题值为真)
∧、∨、←→具有对称性，|、→无对称性，(教材提示，也可用iff表示双向箭头←→，由于字符集的限制，本网页在表示否定关联词时用"|"，请在书写时注意规范写法。对称性是指真值表中复合命题的真值与原子命题的真值之间的关系。)
命题公式与命题不同，在一个由命题标识符组成的式子中，如果标识符表示确定的命题，则该式就是命题。如果标识符只表示命题的位置，可由任何命题代替，则该式子就为命题公式。命题变元P用特定命题替代时，称为对P的指派。
不是所有由命题变元、联结词及有关括号组成的字符串都能成为命题公式。要成为一个命题公式(合式公式)，应当符合规定。这个规定是：
(1)单个命题变元本身是一个合式公式。
(2)如果A是合式公式，那么|A是合式公式。
(3)如果A和B是合式公式，那么(A∧B)、(A∨B)、(A→B)和(A←→B)都是合式公式。
(4)当且仅当有限次地应用(1)(2)(3)所得到的包含命题变元、联结词和圆括号的符号串是合式公式。
总的理解就是说，单个命题变元是合式公式，由合式公式作为命题变元，有限次地运用联结词及括号组成的符串才能是合式公式。即命题公式，简称公式。
命题变元只有进行指派后才可能确定其所在命题公式的真值。当一个命公式中的所有命题变元用一组真值指定后，就称为对命题公式的指派。想一想，什么是真指派、什么是假指派 这个比较简单。
一个命题的真值表应该列出其所有指派的取值情况。一般来说，由n个命题变元组成的命题公式共有2n种真值情况。
联结词的简化，按照两个等价的命题公式，可以看到一个有较多联结词的公式可以简化为含有一个联结词的公式。这里有两个等值公式应当记一下：
(|P∨Q)<=>(P→Q)
我们要弄清什么是"重言式(永真式)"、什么是"矛盾式(永假式)"以及"可满足式"。这其中涉及到指派及命题公式的取值，容易理解。

---