[(p∧q)←r]→(-p∧-r)
(二)画出下列结构式的真值表。 1.p→(p∨-q)。
2.(p∧q)→(p∨-q)∧(q∨-p)。 3.(p∨-q)→(-q∧p)。 4.(p→q)→(-p∨q)。 5.(p←q)→(-p∧q)。
6.-(p∧q)→(p∨-q)∧(q∨-p)。
(三)下列各组判断是否具有等值关系。 1.“如果p,那么q” 与 “只有q,才p”
2.“并非有S不是p” 与? “所有的S都是p” 3.“没有s是p” 与 “并非有s是p”
4.“p并且非q” 与 “并非(如果p,那么q)” 5.“p→q” 与 “-(p∧-q)”
6.“只有q,才p” 与 “并非(非q且p)” §6、模态判断
一、模态判断的含义。? 二、模态判断的结构。
三、模态判断的种类。? 四、同素材模态判断间的逻辑关系。 一、模态判断的含义。
模态判断是断定事物情况的必然性或可能性的判断。如, 正义必然战胜邪恶。? 明天可能下雨。? 他也许是经理。? 二、模态判断的结构。
1.实然判断。是构成模态判断的肢判断,用“P”表示。如，正义战胜邪恶、他是经理。 2.模态词。是联结实然判断的词，“必然”用“□”表示，“可能”用“◇”表示。 模态判断的逻辑公式可表示为： 必然p或□p；可能p或◇p。 三、模态判断的种类。有四种：
(一)必然肯定模态判断。是断定某事物一定具有某属性或特征的判断。如， 我们一定能完成任务。地球必然围绕太阳转。 逻辑公式：必然p；□p。
(二)必然否定模态判断。是断定某事物一定不具有某属性或特征的判断。如，认识一定不会停留在一个水平上。他肯定不来。 逻辑公式：必然-p；□-p。
(三)可能肯定模态判断。是断定某事物可能具有某属性或特征的判断。如，飞碟可能是天外之物。他也许是收电费的。 逻辑公式：可能p；◇p。
(四)可能否定模态判断。是断定某事物可能不具有某属性或特征的判断。如，明天可能没有雨。他可能不在北京。 逻辑公式：可能-p；◇-p。
四、同素材模态判断间真假制约关系。
指主项、谓项相同的□p、□-p、◇p、◇-p之间的真假制约关系或对当关系。 可用逻辑方阵表示：
(一)□p与□-p是反对关系。
二者不可同真：□p真□-p假，□-p真□p假。
二者可同假：□p假□-p不定，□-p假□p不定。 (二)◇p与◇-p是下反对关系。
二者不可同假：◇p假◇-p真，◇-p假◇p真。 二者可同真：◇p真◇-p不定，◇-p真◇p不定。 (三)□p与◇-p、□-p与◇p是矛盾关系。
二者不可同真：□p真◇-p假，□-p真◇p假。 二者不可同假：□p假◇-p真，□-p假◇p真。 (四)□p与◇p、□-p与◇-p是差等关系。 “必然”真，“可能”一定真： □p真◇p真，□-p真◇-p真。 “必然”假，“可能”不确定：
□p假◇p不定，□-p假◇-p不定。 “可能”假，“必然”一定假： ◇p假□p假，◇-p假□-p假。 “可能”真，“必然”不确定：
?◇p真□p不定，◇-p真□-p不定。 二、图表题。 12.写出“并非他是先进工作者或是人民代表”，这一判断的等值判断，并用真值表验证。 13.根据下列条件，列出真值表，并回答甲、乙、丙三人的名次。 甲、乙、丙三争夺象棋比赛前三名。小林预测“只有甲第一，丙才能第二”；小刘预测“丙不是第二”。结果两个中只有一人预测为真。
14.列出p∧q、p→q、q←p的真值表，并判定有否等值判断。
15.请用真值表判定“如果方法正确而且坚持努力，那么一定能有所成就”与“并非方法正确且坚持努力，仍不能有所成就”两判断是否等值？ 16.“不是每一个书法家都是老年人”，这是何种性质判断？请指出其主项和谓项的周延情况。
17.写出“绝不是一个人记忆能力强并且延长学习时间，就能获得奖学金”这一负判断的等值判断及其逻辑形式。