8、模态命题及其推理
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1、根据模态命题 与性质命题之间 的关系进行推演 2、根据模 态逻辑方阵 进行推演
3、模态 三段论
1、根据模态命题与性质命题之间的关系进行 推演 必然P （ 1） 必然P， 所以， 所以，P [例1] 法律必然是统治阶级意志的体现， 所以，法律是统治阶级意志的体现。 （ 2） 必然非P 必然非P 所以， 所以，非P [例2] 本案必然不会是一人所为， 所以，本案不会是一人所为。
2、命题模态与事物模态 指对某一完整的命题所添加的模态词而形成 的命题。 的命题。如： “明天下雨是必然的”。 事物模态指其模态词所修饰或限制的仅仅是 命题主项所表示的事物与命题谓项所表示的 性质之间的联系方式。 性质之间的联系方式。如： “明天可能下雨”、“骄兵必败”等。
3、逻辑模态与非逻辑模态 前者指表示逻辑上的必然性与可能性的模态。 前者指表示逻辑上的必然性与可能性的模态。 具体地， 具体地，凡逻辑学上的一切规律和规则都被 看作是必然的，凡与此相反的一切都被作是 看作是必然的， 可能的。 可能的。后者指其所依据的并非逻辑上的必 然性与可能性， 然性与可能性，而有其逻辑以外的科学根据 的各种模态。 的各种模态。
（4）可能和直言结合的模态三段论 可能和直言结合的模态三段论是指一个前提是 可能命题，一个前提是直言命题的模态三段论。 可能命题，一个前提是直言命题的模态三段论。 其推理形式为： 其推理形式为： 所有M可能是P 所有M可能是P 所有S 所有S是M 所以，所有S可能是P 所以，所有S可能是P 凡是某甲的近亲属都可能是某甲的监护人， 某乙是某甲的近亲属， 所以，某乙可能是某甲的监护人。
（1）必 然模态三 段论
（2）必然和 直言结合的 模态三段论
3、模态 三段论
（3）必然 和可能相结 合的模态三 段论
（ 4 ）可 能和直言 结合的模 态三段论
（ 5 ）可 能模态三 段论
（1）必然模态三段论 必然模态三段论是指两个前提都是必然模态 命题的三段论。以第一格的AAA式为例， AAA式为例 命题的三段论。以第一格的AAA式为例，其推 理形式为： 理形式为： 所有M必然是P 所有M必然是P 所有S必然M 所有S必然M 所以，所有S必然是P 所以，所有S必然是P [例1]所有的法必然是统治阶级意志的体现， 刑法必然是法， 所以，刑法必然是统治阶级意志的体现。
A、必然 p并且必 然q
B、必然 p或者必 然q
C、可能 p并且可 能q
（2）复合 模态命题
D、可能 p或者可 能q E、必然 非p并且 必然非q 必然非q F、必然 非p或者 必然非q 必然非q
必然p并且必然q A、必然p并且必然q 旧的制度必然日趋灭亡，新的制度必然取而 代之。 B、必然p或者必然q 必然p或者必然q 1号方案必然成功或者2号方案必然实现。 可能p并且可能q C、可能p并且可能q 明天上级可能来人并且可能进行突击检查。
2、模态命题的构成 模态词：如必然、可能、应当、禁止、 （1）模态词：如必然、可能、应当、禁止、 允许等。 允许等。 命题：可以是简单命题， （2）命题：可以是简单命题，也可以是复合 命题。 命题。 [例1] 凶手必然有作案时间。 [例2] 合法行为必然不会受到法律制裁。 [例3] 某甲的代理行为可能是无权代理。 [例4] 某甲可能不是原告的法定代理人。 [例5] 他的行为可能是无因管理，也可能是 不当得利。
（2）下反对关系的直接推理 并非可能P→可能非P P→可能非 A、并非可能P→可能非P [例3] 某甲不可能作伪证， 所以，某甲可能不会作伪证。 并非可能非P→可能P P→可能 B、并非可能非P→可能P [例4] 社会主义的法不可能没有阶级性， 所以，社会主义的法可能有阶级性。
（3）差等关系的直接推理 必然P→可能P P→可能 A、必然P→可能P [例5]法必然反映统治阶级的意志， 所以，法可能反映统治阶级的意志。 必然非P→可能非P P→可能非 B、必然非P→可能非P [例6]明天必然不下雨； 所以，明天可能不下雨。 C、并非可能P→并非必然P 并非可能P→并非必然P P→并非必然 [例7]并非明天可能下雨； 所以，并非明天必然下雨。 并非可能非P→并非必然非P P→并非必然非 D、并非可能非P→并非必然非P [例8]某甲不可能有作案时间， 所以，某甲不必然有作案时间。
一、模态逻辑简介
第八章 模态命 题和模 态推理
二、模态命题及其推理
三、规范命题及其推理
一、模态逻辑简介
（一）模态逻 辑的含义及发 展沿革
（ 二 ）模 态的种类
（一）模态逻辑的含义及发展沿革 模态” 的音译，它是形态、 “模态”是modal 的音译，它是形态、样式等 的意思。我们把反映对象存在方式或发展程度 的意思。 以及命题真假程度的词项称为模态词。 以及命题真假程度的词项称为模态词。如“必 可能” 应该” 允许” 然”、“可能”、“应该”、“允许”等，其 最基本的模态词是“必然” 可能” 中，最基本的模态词是“必然”、“可能”。 模态逻辑研究有很长的历史。 模态逻辑研究有很长的历史。亚氏曾对模态词 和模态三段论作过大量的研究。欧洲中世纪的 和模态三段论作过大量的研究。 逻辑学家也对模态命题及其推理作过一定的研 到了20世纪50 60年代 20世纪50- 年代， 究。到了20世纪50-60年代，随着数理逻辑的发 展，一些逻辑学家开始运用数理逻辑的方法对 模态逻辑进行了新的研究， 模态逻辑进行了新的研究，模态逻辑从此有了 长足的发展。 长足的发展。
（ 1） 简单模 态命题
3、模 态命题 的种类
（ 2） 复合模 态命题
A、必然 肯定命题
B、必然 否定命题
（1）简单模 态命题
C、可能 肯定命题 D、可能 否定命题
A、必然肯定命题 这是反映事物情况必然存在的命题。 这是反映事物情况必然存在的命题。如： [例1] 客观事物必然发展变化。 [例2] 法律必然有阶级性。 公式表示为： 必然是P 、 公式表示为：“S必然是P”、“S是P是必然 也可简化为“必然P 、 是必然的” 的”；也可简化为“必然P”、“P是必然的”。 用符号表示为： 用符号表示为：□P
（2）必然和直言结合的模态三段论 必然和直言结合的模态三段论是指一个前提 是必然命题， 是必然命题，一个前提是直言命题的模态三 段论。这种模态三段论的推理形式是： 段论。这种模态三段论的推理形式是： 所有M必然是P 所有M必然是P 所有S 所有S是M 所以，所有S必然是P 所以，所有S必然是P [例1] 一切违背法律的行为必然受到惩罚， 故意杀人是违背法律的行为， 所以，故意杀人必然受到法律的惩罚。
C、可能肯定命题 这是反映事物情况可能存在的命题。 这是反映事物情况可能存在的命题。如： [例5] 某甲可能是精神病人。 [例6] 或许某甲是无辜的。 公式表示为： 可能是P 、 是可能的” 公式表示为：“S可能是P”、“S是P是可能的”； 也可简化为“可能P 、 是可能的” 也可简化为“可能P”、“P是可能的”。 用符号表示为： 用符号表示为：◇P
（3）必然和可能相结合的模态三段论 必然和可能相结合的模态三段论是指一个前提 是必然命题， 是必然命题，一个前提是可能命题的模态三段 以第一格的AAA式为例，其推理形式为： AAA式为例 论。以第一格的AAA式为例，其推理形式为： 所有M必然是P 所有M必然是P 所有S可能是M 所有S可能是M 所以，所有S可能是P 所以，所有S可能是P [例1] 凡作案人必然有作案时间， 某甲可能是作案人， 所以，某甲可能有作案时间。
（4）矛盾关系的直接推理 并非必然P→可能非P P→可能非 A、并非必然P→可能非P [例9]某甲的代理权不必然有效， 所以，某甲的代理权可能非有效。 并非必然非P→不可能P P→不可能 B、并非必然非P→不可能P [例10]某甲必然不是诉讼当事人， 所以，某甲不可能是诉讼当事人。 并非可能P→必然非P P→必然非 C、并非可能P→必然非P [例11]某甲可能是这个案件的作案人， 所以，某甲不必然不是这个案件的作案人。 并非可能非P→必然P P→必然 D、并非可能非P→必然P
（ 3）
P 所以，可能P 所以，可能P [例3] 某甲是限制行为能力人， 所以，某甲可能是限制行为能力人。 （ 4） 非P 所以，可能非P 所以，可能非P [例4] 某甲不是凶手， 所以，某甲可能不是凶手。
上述四式也可写成以下四种蕴函式： 上述四式也可写成以下四种蕴函式： 必然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或者可能q D、可能p或者可能q 今年可能多雨水，或者可能多干旱。 必然非p并且必然非q E、必然非p并且必然非q 剥削阶级必然不会放下武器，也必然不会自动退 出历史舞台。 。 必然非p或者必然非q F、必然非p或者必然非q 这次会议，张三必然不会出席，或者李四也必然 不会出席。 。
(二 )模态推理
wenku.baidu.com
二、模态命题及其推理
（一）模态 命题的含义 与种类
（ 二 ）模 态推理
（一）模态命题的含 义与种类
1、什么 是模态 命题 2、模态 命题的构 成 3、模态 命题的种 类
1、什么是模态命题 模态命题是指一切包含有模态词（必然、 模态命题是指一切包含有模态词（必然、可 应当、禁止、允许）的命题，或者说， 能、应当、禁止、允许）的命题，或者说， 模态命题就是陈述事物情况的必然性或可能 性的命题。 性的命题。 [例1] 凶手必然有作案时间。 [例2] 合法行为必然不会受到法律制裁。 [例3] 某甲的代理行为可能是无权代理。 [例4] 某甲可能不是原告的法定代理人。 [例5] 他的行为可能是无因管理，也可能是 不当得利。
1、客观 模态与主 观模态
2、命题 模态与事 物模态
（二）模态 的种类
3、逻辑 模态与非 逻辑模态 4、狭义模 态与广义 模态
1、客观模态与主观模态 所谓客观模态是表示客观事物本身存在的样 式和趋势等的模态。 式和趋势等的模态。 如“是人就必然要死亡的”、“人类社会必 然向更高级发展”、“经济规律是不以人的 意志为转移的客观规律”、“夏季必然昼长 夜短”等。 所谓主观模态是表示人的认识的某种确定性 与不确定性的模态。 与不确定性的模态。 如“初级阶段是社会主义中国的必然选择”、 “火星上可能存在过生命”。
4、狭义模态与广义模态 狭义模态指表示事物或认识的必然性、 狭义模态指表示事物或认识的必然性、可能 性或偶然性的性质的模态。 性或偶然性的性质的模态。这类命题所涉及 的是命题的真假问题。广义模态具体是说， 的是命题的真假问题。广义模态具体是说， 是指规范模态、时间模态等。 是指规范模态、时间模态等。
（1）反 对关系的 直接推理 2、根据模态 逻辑方阵进行 推演 （ 3 ）差 等关系的 直接推理
（2）下反 对关系的直 接推理
（ 4 ）矛 盾关系的 直接推理
（1）反对关系的直接推理 必然P→并非必然非P P→并非必然非 A、必然P→并非必然非P [例1] 某甲必然是这个案件的作案人， 所以，并非某甲必然不是这个案件的作案人 必然非P→并非必然P P→并非必然 B、必然非P→并非必然P [例2] 公正的法官必然不会徇私枉法， 所以，并非公正的法官必然会徇私枉法。
B、必然否定命题 这是反映事物情况必然不存在的命题。 这是反映事物情况必然不存在的命题。如： [例3]无效合同必然不受法律保护。 [例4]客观规律必然不依人的意志为转移。 公式表示为： 必然不是P 、 公式表示为：“S必然不是P”、“S是P不是必然 也可简化为“必然非P 、 的”；也可简化为“必然非P”、“P不是必然 的”。 用符号表示为： 用符号表示为：□﹁P
D、可能否定命题 这是反映事物情况可能不存在的命题。 这是反映事物情况可能不存在的命题。如： [例7] 某甲可能不是案犯。 [例8] 被告人的辩解可能不是对的。 公式表示为： 可能不是P ；也可简化为“ 公式表示为：“S可能不是P”；也可简化为“可 能非P 。 能非P”。 用符号表示为： 用符号表示为：◇﹁P
3、模态 三段论
1、根据模态命题与性质命题之间的关系进行 推演 必然P （ 1） 必然P， 所以， 所以，P [例1] 法律必然是统治阶级意志的体现， 所以，法律是统治阶级意志的体现。 （ 2） 必然非P 必然非P 所以， 所以，非P [例2] 本案必然不会是一人所为， 所以，本案不会是一人所为。
2、命题模态与事物模态 指对某一完整的命题所添加的模态词而形成 的命题。 的命题。如： “明天下雨是必然的”。 事物模态指其模态词所修饰或限制的仅仅是 命题主项所表示的事物与命题谓项所表示的 性质之间的联系方式。 性质之间的联系方式。如： “明天可能下雨”、“骄兵必败”等。
3、逻辑模态与非逻辑模态 前者指表示逻辑上的必然性与可能性的模态。 前者指表示逻辑上的必然性与可能性的模态。 具体地， 具体地，凡逻辑学上的一切规律和规则都被 看作是必然的，凡与此相反的一切都被作是 看作是必然的， 可能的。 可能的。后者指其所依据的并非逻辑上的必 然性与可能性， 然性与可能性，而有其逻辑以外的科学根据 的各种模态。 的各种模态。
（4）可能和直言结合的模态三段论 可能和直言结合的模态三段论是指一个前提是 可能命题，一个前提是直言命题的模态三段论。 可能命题，一个前提是直言命题的模态三段论。 其推理形式为： 其推理形式为： 所有M可能是P 所有M可能是P 所有S 所有S是M 所以，所有S可能是P 所以，所有S可能是P 凡是某甲的近亲属都可能是某甲的监护人， 某乙是某甲的近亲属， 所以，某乙可能是某甲的监护人。
（1）必 然模态三 段论
（2）必然和 直言结合的 模态三段论
3、模态 三段论
（3）必然 和可能相结 合的模态三 段论
（ 4 ）可 能和直言 结合的模 态三段论
（ 5 ）可 能模态三 段论
（1）必然模态三段论 必然模态三段论是指两个前提都是必然模态 命题的三段论。以第一格的AAA式为例， AAA式为例 命题的三段论。以第一格的AAA式为例，其推 理形式为： 理形式为： 所有M必然是P 所有M必然是P 所有S必然M 所有S必然M 所以，所有S必然是P 所以，所有S必然是P [例1]所有的法必然是统治阶级意志的体现， 刑法必然是法， 所以，刑法必然是统治阶级意志的体现。
A、必然 p并且必 然q
B、必然 p或者必 然q
C、可能 p并且可 能q
（2）复合 模态命题
D、可能 p或者可 能q E、必然 非p并且 必然非q 必然非q F、必然 非p或者 必然非q 必然非q
必然p并且必然q A、必然p并且必然q 旧的制度必然日趋灭亡，新的制度必然取而 代之。 B、必然p或者必然q 必然p或者必然q 1号方案必然成功或者2号方案必然实现。 可能p并且可能q C、可能p并且可能q 明天上级可能来人并且可能进行突击检查。
2、模态命题的构成 模态词：如必然、可能、应当、禁止、 （1）模态词：如必然、可能、应当、禁止、 允许等。 允许等。 命题：可以是简单命题， （2）命题：可以是简单命题，也可以是复合 命题。 命题。 [例1] 凶手必然有作案时间。 [例2] 合法行为必然不会受到法律制裁。 [例3] 某甲的代理行为可能是无权代理。 [例4] 某甲可能不是原告的法定代理人。 [例5] 他的行为可能是无因管理，也可能是 不当得利。
（2）下反对关系的直接推理 并非可能P→可能非P P→可能非 A、并非可能P→可能非P [例3] 某甲不可能作伪证， 所以，某甲可能不会作伪证。 并非可能非P→可能P P→可能 B、并非可能非P→可能P [例4] 社会主义的法不可能没有阶级性， 所以，社会主义的法可能有阶级性。
（3）差等关系的直接推理 必然P→可能P P→可能 A、必然P→可能P [例5]法必然反映统治阶级的意志， 所以，法可能反映统治阶级的意志。 必然非P→可能非P P→可能非 B、必然非P→可能非P [例6]明天必然不下雨； 所以，明天可能不下雨。 C、并非可能P→并非必然P 并非可能P→并非必然P P→并非必然 [例7]并非明天可能下雨； 所以，并非明天必然下雨。 并非可能非P→并非必然非P P→并非必然非 D、并非可能非P→并非必然非P [例8]某甲不可能有作案时间， 所以，某甲不必然有作案时间。
一、模态逻辑简介
第八章 模态命 题和模 态推理
二、模态命题及其推理
三、规范命题及其推理
一、模态逻辑简介
（一）模态逻 辑的含义及发 展沿革
（ 二 ）模 态的种类
（一）模态逻辑的含义及发展沿革 模态” 的音译，它是形态、 “模态”是modal 的音译，它是形态、样式等 的意思。我们把反映对象存在方式或发展程度 的意思。 以及命题真假程度的词项称为模态词。 以及命题真假程度的词项称为模态词。如“必 可能” 应该” 允许” 然”、“可能”、“应该”、“允许”等，其 最基本的模态词是“必然” 可能” 中，最基本的模态词是“必然”、“可能”。 模态逻辑研究有很长的历史。 模态逻辑研究有很长的历史。亚氏曾对模态词 和模态三段论作过大量的研究。欧洲中世纪的 和模态三段论作过大量的研究。 逻辑学家也对模态命题及其推理作过一定的研 到了20世纪50 60年代 20世纪50- 年代， 究。到了20世纪50-60年代，随着数理逻辑的发 展，一些逻辑学家开始运用数理逻辑的方法对 模态逻辑进行了新的研究， 模态逻辑进行了新的研究，模态逻辑从此有了 长足的发展。 长足的发展。
（ 1） 简单模 态命题
3、模 态命题 的种类
（ 2） 复合模 态命题
A、必然 肯定命题
B、必然 否定命题
（1）简单模 态命题
C、可能 肯定命题 D、可能 否定命题
A、必然肯定命题 这是反映事物情况必然存在的命题。 这是反映事物情况必然存在的命题。如： [例1] 客观事物必然发展变化。 [例2] 法律必然有阶级性。 公式表示为： 必然是P 、 公式表示为：“S必然是P”、“S是P是必然 也可简化为“必然P 、 是必然的” 的”；也可简化为“必然P”、“P是必然的”。 用符号表示为： 用符号表示为：□P
（2）必然和直言结合的模态三段论 必然和直言结合的模态三段论是指一个前提 是必然命题， 是必然命题，一个前提是直言命题的模态三 段论。这种模态三段论的推理形式是： 段论。这种模态三段论的推理形式是： 所有M必然是P 所有M必然是P 所有S 所有S是M 所以，所有S必然是P 所以，所有S必然是P [例1] 一切违背法律的行为必然受到惩罚， 故意杀人是违背法律的行为， 所以，故意杀人必然受到法律的惩罚。
C、可能肯定命题 这是反映事物情况可能存在的命题。 这是反映事物情况可能存在的命题。如： [例5] 某甲可能是精神病人。 [例6] 或许某甲是无辜的。 公式表示为： 可能是P 、 是可能的” 公式表示为：“S可能是P”、“S是P是可能的”； 也可简化为“可能P 、 是可能的” 也可简化为“可能P”、“P是可能的”。 用符号表示为： 用符号表示为：◇P
（3）必然和可能相结合的模态三段论 必然和可能相结合的模态三段论是指一个前提 是必然命题， 是必然命题，一个前提是可能命题的模态三段 以第一格的AAA式为例，其推理形式为： AAA式为例 论。以第一格的AAA式为例，其推理形式为： 所有M必然是P 所有M必然是P 所有S可能是M 所有S可能是M 所以，所有S可能是P 所以，所有S可能是P [例1] 凡作案人必然有作案时间， 某甲可能是作案人， 所以，某甲可能有作案时间。
（4）矛盾关系的直接推理 并非必然P→可能非P P→可能非 A、并非必然P→可能非P [例9]某甲的代理权不必然有效， 所以，某甲的代理权可能非有效。 并非必然非P→不可能P P→不可能 B、并非必然非P→不可能P [例10]某甲必然不是诉讼当事人， 所以，某甲不可能是诉讼当事人。 并非可能P→必然非P P→必然非 C、并非可能P→必然非P [例11]某甲可能是这个案件的作案人， 所以，某甲不必然不是这个案件的作案人。 并非可能非P→必然P P→必然 D、并非可能非P→必然P
（ 3）
P 所以，可能P 所以，可能P [例3] 某甲是限制行为能力人， 所以，某甲可能是限制行为能力人。 （ 4） 非P 所以，可能非P 所以，可能非P [例4] 某甲不是凶手， 所以，某甲可能不是凶手。
上述四式也可写成以下四种蕴函式： 上述四式也可写成以下四种蕴函式： 必然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或者可能q D、可能p或者可能q 今年可能多雨水，或者可能多干旱。 必然非p并且必然非q E、必然非p并且必然非q 剥削阶级必然不会放下武器，也必然不会自动退 出历史舞台。 。 必然非p或者必然非q F、必然非p或者必然非q 这次会议，张三必然不会出席，或者李四也必然 不会出席。 。
(二 )模态推理
wenku.baidu.com
二、模态命题及其推理
（一）模态 命题的含义 与种类
（ 二 ）模 态推理
（一）模态命题的含 义与种类
1、什么 是模态 命题 2、模态 命题的构 成 3、模态 命题的种 类
1、什么是模态命题 模态命题是指一切包含有模态词（必然、 模态命题是指一切包含有模态词（必然、可 应当、禁止、允许）的命题，或者说， 能、应当、禁止、允许）的命题，或者说， 模态命题就是陈述事物情况的必然性或可能 性的命题。 性的命题。 [例1] 凶手必然有作案时间。 [例2] 合法行为必然不会受到法律制裁。 [例3] 某甲的代理行为可能是无权代理。 [例4] 某甲可能不是原告的法定代理人。 [例5] 他的行为可能是无因管理，也可能是 不当得利。
1、客观 模态与主 观模态
2、命题 模态与事 物模态
（二）模态 的种类
3、逻辑 模态与非 逻辑模态 4、狭义模 态与广义 模态
1、客观模态与主观模态 所谓客观模态是表示客观事物本身存在的样 式和趋势等的模态。 式和趋势等的模态。 如“是人就必然要死亡的”、“人类社会必 然向更高级发展”、“经济规律是不以人的 意志为转移的客观规律”、“夏季必然昼长 夜短”等。 所谓主观模态是表示人的认识的某种确定性 与不确定性的模态。 与不确定性的模态。 如“初级阶段是社会主义中国的必然选择”、 “火星上可能存在过生命”。
4、狭义模态与广义模态 狭义模态指表示事物或认识的必然性、 狭义模态指表示事物或认识的必然性、可能 性或偶然性的性质的模态。 性或偶然性的性质的模态。这类命题所涉及 的是命题的真假问题。广义模态具体是说， 的是命题的真假问题。广义模态具体是说， 是指规范模态、时间模态等。 是指规范模态、时间模态等。
（1）反 对关系的 直接推理 2、根据模态 逻辑方阵进行 推演 （ 3 ）差 等关系的 直接推理
（2）下反 对关系的直 接推理
（ 4 ）矛 盾关系的 直接推理
（1）反对关系的直接推理 必然P→并非必然非P P→并非必然非 A、必然P→并非必然非P [例1] 某甲必然是这个案件的作案人， 所以，并非某甲必然不是这个案件的作案人 必然非P→并非必然P P→并非必然 B、必然非P→并非必然P [例2] 公正的法官必然不会徇私枉法， 所以，并非公正的法官必然会徇私枉法。
B、必然否定命题 这是反映事物情况必然不存在的命题。 这是反映事物情况必然不存在的命题。如： [例3]无效合同必然不受法律保护。 [例4]客观规律必然不依人的意志为转移。 公式表示为： 必然不是P 、 公式表示为：“S必然不是P”、“S是P不是必然 也可简化为“必然非P 、 的”；也可简化为“必然非P”、“P不是必然 的”。 用符号表示为： 用符号表示为：□﹁P
D、可能否定命题 这是反映事物情况可能不存在的命题。 这是反映事物情况可能不存在的命题。如： [例7] 某甲可能不是案犯。 [例8] 被告人的辩解可能不是对的。 公式表示为： 可能不是P ；也可简化为“ 公式表示为：“S可能不是P”；也可简化为“可 能非P 。 能非P”。 用符号表示为： 用符号表示为：◇﹁P