1、各 🐛 种负命题的等值命题 🐋 是什么
各 🌵 种负命题的等 🐛 值命题
.jpg)
命题的负命题是指把命 🌷 题中肯定的部分改为否定否定部分改为肯定,得到的 🌳 命题。以下是有用的等值规则:
1. 直言命题的 🐼 负 🦋 命 🦅 题:
- 全称肯定(A 型):等值于特称 🦁 否 🦋 定型(E )
- 特称 🐕 肯定 🦅 (I 型):等值于全称否定 🌹 型(O )
- 全称否定(E 型):等 🐡 值于 🦋 特称肯 🌸 定型(I )
- 特称否定 🦉 (O 型 🦍 ):等值 💐 于全称肯定型(A )
2. 选言命题的负命 🕷 题:
- 选言 🌹 肯定:等值 🐟 于连言否定
- 选言否定:等值于连言肯定 🦉
3. 假言命题的负 🐱 命题:
- 假言肯定 🦢 (modus ponens):等值于 🐈 否定后件的假言否定(modus tollens)
- 假言否 ☘ 定(modus tollens):等值于否定前件的假言肯定(modus ponens)
示 🌹 例 🦟 :
原命题:所有猫都是哺乳动物 🐒 。
负命题(E 型 🐱 ):有 🦟 些猫不是哺乳动物 🌷 。
原命题:有些 🌸 鸟会飞。
负命题 🐕 (O 型):没 🐺 有鸟会 🌵 飞。
原命题 🦈 :如果 ☘ 下 🌼 雨,地面就会湿。
负命题(modus tollens):如果 🐧 地面不湿,那么没有下 🐋 雨。
理解这些等值关系对于准确地推理和评估论证非常重要。它 🐋 们允许我们在命题之间进行转换,从。而推导出新的命题或反驳无 🍀 效的论证
2、负命 🍁 题的等值命题与其支命题的关系
在命题逻辑中,负命题是一个与给定命题相反真值的命题给定一个 🐅 命题。其负命题 P,记为 ?P。
对于一个合取命 🌷 题 P ∧ Q,其负命题 🕊 ?(P ∧ Q) 与支命题 ?P 和 ?Q 等值。这 P 是因为合取命题仅当和 Q 都。为,真 P 时 Q 才,为,真 ?P 因 ?Q 此。当或为假时合取命题为假这与支命题或成立时的情况相同 🐠
对 🦉 于一个析取命题 P ∨ Q,其负命题 ?(P ∨ Q) 与支命题 ?P 和 ?Q 等值。这 P 是因为析取命题仅当或 Q 中。至,少一个 P 为 Q 真,时,才 ?P 为 ?Q 真。因此当和都为假时析取命题为假这与支命题和都成立时的情况相同
对于一个否定命题 ?P,其负命题 ?(?P) 等于 P。这。是,因为双重否定相 🐟 当于肯定因此当为 P 真时为,?(?P) 假,而当为 P 假时为真,?(?P) 。
一个条件命题 P → Q 的负命题 ?(P → Q) 与支命题 P ∧ ?Q 等值。这 P 是 Q 因。为条件命题仅当为假或为真时为假因此当 🕊 为真 🐎 ,且 P 为 Q 假时条件命题为假这与支命题,成,立 P ∧ ?Q 时的。情况相同
理解负命题及其与支 🌵 命题的关系对于命题逻辑推理和求解至关重 🐡 要。它。允许我们通过 🕸 使用负命题来简洁地表示和推导出等值命题
3、各种负命题的等值命题是什么 🦄 样的
各种负 🌳 命题的等值命题
否定一个命题 🌸 时,可以得到其负命题 🕷 负命题。的,等。值命题是指 🦍 与负命题等价的命题
全 🐎 称命题的负 🦍 命题:
设全称 🐳 命 🦋 题为:所有P都 🐞 是Q。
负命 🕷 题:存在一 🐋 个P不是 🕊 Q。
等值命 🐒 题 🐋 :至少有一个P不是Q。
特称命 🐡 题的 🐞 负 🐠 命题:
设特称命题 🌴 为 🍁 :有些P是Q。
负 🌸 命题:没 🐒 有一个 🦍 P是Q。
等值命 🌴 题 🐅 :所有P都 🦋 不是Q。
单称命题 🦢 的负 🌷 命题:
设 🐵 单称 🐶 命题为 🌾 :P是Q。
负 🌸 命 🐯 题 🕷 :P不是Q。
等值命 🐝 题:P与Q不同 🌵 。
条件命 🐴 题的负命 🐺 题 🐠 :
设条件命 ☘ 题 🌾 为:如果P,那 🌲 么Q。
负命题:存在 🌺 一个 ☘ P,使P得为真但为Q假。
等值命题:P为真且 🐺 为Q假。
析取 🦊 命题的负 🌷 命题:
设析取命 🕷 题为:P或 🐳 Q。
负命题:既 🐬 非 🐳 P,又非Q。
等 🐎 值命题:P为假且为 🐼 假 🐱 Q。
合 🐼 取命题的负命题 🐠 :
设合取命题 🐘 为 🐎 :P且Q。
负命题:P为 🦄 假或为假Q。
等值命题:只要P或Q有一个为假,就 🐬 为真。
理解命题的等值命题对于逻辑推导和推理至关重 🐕 要。通过分析负命题,我,们。可以推导出 🕊 等价的命题从而更深入地理解命题的含义 🦉 和关系
4、各种负命题的等值 🕷 命题是什么意 🦅 思
各种负命题的等值 🌼 命题
否定是逻辑学中的一个基本操作,它产生与给定命题相反的命题。有,不 🌵 。同类型的否定每种否定都有独特的等值命题
否定 🦁 与相 🐒 等
命题 A 的否 🕷 定:not A
等 🐕 值 🐬 命题:A = false
全 🌻 称量 🐳 词否定
命题 "对于 🐛 所有 x,P(x)" 的 🐴 否定:"存 x,在使 🪴 得 P(x) 为"假
等 🍁 值 🌷 命题:存 🌹 在 x 使得 P(x) 为假
存在 🐦 量词否定
命题 "存在 x,使得 P(x)" 的否定:"对于 🕸 所有 x,P(x) 为"假
等值命题:对于 🌾 所有 🪴 x,P(x) 为 💐 假
条件 🌹 命题 🐎 否定
命题 "如果 P 则 🦊 Q" 的否定 🐧 :"P 且 Q"非
等值命 🌴 题 🐅 :P 为真且 🐶 为 Q 假
连 🐠 言命题否 🐟 定 🐒
命题 "P 且 🐯 Q" 的否定:"P 为假 🕷 或为假 Q "
等值命题:P 为假或 🦆 为假 Q
析取 🐠 命题 💐 否定 🍀
命题 "P 或 Q" 的否定 🐘 :"P 为 🦊 假且 🐛 为假 Q "
等值命 🌷 题:P 为假且为假 🍀 Q
理解这些等值命题对于逻辑推理至关重要。它们允许我们用不同的方式表达否定这,有。助于,简。化复 🦉 杂论证这些等值命题在各种逻辑推理技术中非常有用例如反证法和归谬法
本文来自舒萍投稿,不代表侠客易学立场,如若转载,请注明出处:http://www.skyjtgw.com/734288.html