例题（２）下面是甲、乙、丙三位领导关于选派出国人员的意见，试问：是否存在一种方案，使三位领导的要求同时满足。
甲：如果不选派小方，那么不选派小王
乙：如果不选派小王，那么选派小方
丙：要么选派小方，要么选派小王
解析：首先，设肢判断。设：选派小方为ｐ，选派小王为ｑ
其次，列出复合判断。
结论：甲、乙、丙三位领导的意见同时满足，即三个复合判断同时为真时，ｐ真ｑ假，即选派小方出国，不选派小王出国。
答案：如上
一、真值模态判断
（一）什么是真值模态
判断真值模态判断是包含”必然“、”可能“等真值模态词的判断，是断定思维对象情况的必然性或可能性的判断。
真值模态判断由真值模态词和基础判断两部分组成。其中：
真值模态词是真值模态判断中表示对象情况的必然性或可能性的概念，有”必然“、”可能“等，通常用”□“、”◇“表示。基础判断是真值模态判断中除真值模态词以外的判断，通常用”Ｐ“表示。
真值模态判断根据基础判断是简单判断还复合判断，分为简单真值模态判断和复合真值模态判断。我们这里只按照教材中的内容，介绍简单真值模态判断。
（二）简单真值模态判断的种类
简单真值模态判断依据判断中所包含的真值模态词的不同，分为必然判断和可能判断。
１。必然判断
必然判断是断定思维对象本身（或对象之间）必然具有或必然不具有某种性质（或关系）的判断。
必然判断分为必然肯定判断和必然否定判断。
（１）必然肯定判断逻辑形式是：必然Ｐ。也可用符号表示为：□Ｐ。（读：必然Ｐ）。例如：中国的现代化必然实现。或者：中国实现现代化是必然的。
（２）必然否定判断必然否定判断是断定思维对象本身（或对象之间）必然不具有某种性质（或关系）的判断。例如：犯罪必然不利于社会。或者：犯罪不利于社会是必然的。
２。可能判断
可能判断是断定思维对象本身（或对象之间）可能具有或可能不具有某种性质（或关系）的判断。
可能判断可分为：可能肯定判断和可能否定判断。
（１）可能肯定判断可能肯定判断是断定思维对象本身（或对象之间）可能具有某种性质（或关系）的判断。
逻辑形式是：可能Ｐ。
例如：证人可能说谎。或者：证人说谎是可能的。