例7要么x<y，要么x>y，要么x=y。（这里x，yEQ，Q是有理数集）这是一个不相容的析取命题解：这个命题等于说：或者x<y，或者x>y，或者x=y，但是三者不能同时为真。与此相应的命题形式为：qr)( pq r )(qr)）这里，我们假设 p：x<y，q：x>y，r:x-y
例7 要么x＜y，要么x＞y，要么x=y。 （这里x，y∈Q，Q是有理数集）这 是一个不相容的析取命题。 解：这个命题等于说：或者x＜y，或 者x＞y，或者x=y，但是三者不能同 时为真。与此相应的命题形式为： （ （ p┑q┑r ） （ ┑ pq┑r ） （┑p┑qr））。 这里，我们假设 p：x＜y，q：x＞y，r： x=y
综合例6和例7，求一个复合命题的命题形式，需要注意两点：第一，确定组成这个复合命题的命题成分即支命题，把不同的支命题代以不同的命题变项；第二，撇开语言方面比较丰富的内容，撇开支命题之间各种具体内容的关系，只以真假关系来分析给定的复合命题和它所含的支命题之间的联系，然后用五个真值联结词把命题变项联结起来，从而表示该复合命题与所含支命题之间的真假联系-
综合例6和例7，求一个复合命题 的命题形式，需要注意两点：第一， 确定组成这个复合命题的命题成分即 支命题，把不同的支命题代以不同的 命题变项；第二，撇开语言方面比较 丰富的内容，撇开支命题之间各种具 体内容的关系，只以真假关系来分析 给定的复合命题和它所含的支命题之 间的联系，然后用五个真值联结词把 命题变项联结起来，从而表示该复合 命题与所含支命题之间的真假联系
在求一个复合命题的真值形式时我们使用了括号。括号是用来表示复合命题形式中结构关系的，括号内的命题形式是该复合命题形式的一个独立单位。为了以后讨论方便，我们约定最外层的一对括号可以省略。对于连续出现的一→，我们采用右结合法真值联结词的结合力依下列次序递增：，}，>，<
在求一个复合命题的真值形式时， 我们使用了括号。括号是用来表示复 合命题形式中结构关系的，括号内的 命题形式是该复合命题形式的一个独 立单位。为了以后讨论方便，我们约 定最外层的一对括号可以省略。对于 连续出现的→，我们采用右结合法。 真值联结词的结合力依下列次序递增： ，→，，，┑
真值表方法(二)前面，我们曾用真值表给出了五个联结词的定义。这些真值表说明了相应的复合命题与所含支命题之间真假的关系，它们只是一些简单的形式对于任一复杂的复合命题形式，我们可以利用五个基本联结词的真值表做出与其复合命题形式相应的真值表从而说明它与所含的支命题之间的真假关系任一复合命题，它的真值形式
(二) 真值表方法 前面，我们曾用真值表给出了五 个联结词的定义。这些真值表说明了 相应的复合命题与所含支命题之间真 假的关系，它们只是一些简单的形式。 对于任一复杂的复合命题形式，我们 可以利用五个基本联结词的真值表做 出与其复合命题形式相应的真值表， 从而说明它与所含的支命题之间的真 假关系。 任一复合命题，它的真值形式
都是由简单命题和五个联结词，经过有限次的各种各样的联结而逐步构成的。构成过程由简单到复杂，最后得到所要构成得形式。构造真值表的方法和真值形式的构成过程有密切的联系（1）求作复杂命题形式的真值表真值表的构成包括以下三个步骤：1找出给定形式里的所有简单命题，根据构成过程，由简而繁地将该形式
都是由简单命题和五个联结词，经过有限 次的各种各样的联结而逐步构成的。构成 过程由简单到复杂，最后得到所要构成得 形式。构造真值表的方法和真值形式的构 成过程有密切的联系。 （1）求作复杂命题形式的真值表 真值表的构成包括以下三个步骤： 1. 找出给定形式里的所有简单命题，根据构 成过程，由简而繁地将该形式