命题逻辑（二十一）

一般复合命题及其真值形式

日常用语中的复合命题，并不都是以联言、选言、假言这几种基本复合命题的单纯形式出现的，而往往是以它们的综合形式出现的。

例如：

1、如果合同有效，那么甲方和乙方就应遵守合同。

其中“合同有效”用“p”表示，“甲方应遵守合同”用“q”表示，“乙方遵守合同”用“r”表示。

它的命题公式可以表示为：

p → （q ᴧ r）

2、如果光强调团结，不强调斗争；或者光强调斗争，不强调团结，那么就不能达到既弄清思想又团结同志的目的。

令p表示“强调团结”，q表示“强调斗争”；r表示“弄清思想”，s表示“团结同志”，则其真值形式是：

（（p ᴧ ¬ q）ᴠ （¬ p ᴧ q））→ （r ᴧ s）