“求否定规则”的意思、起源，求否定规则是由谁提出的-哲学-情感百科-依恋情感网

网站首页情感咨询情感美文情感百科情感生活学习充电旧版美文

标题	求否定规则
类别	哲学
释义	求否定规则 negation rule 谓词演算中的推演规则。设E为谓词演算中的公式，其中→和↔不出现，那么E的否定式E^-可用以下方法直接求得。 (1)　∨被代以∧， (2)　∧被代以∨， (3)　(ᗄΔ)被代以(∃Δ)， (4)　(∃Δ)被代以(ᗄΔ)， (5)　π被代以π， Γ(Δ₁，…，Δ_n)被代以 Γ(Δ₁，…，A_n)， (6)　不出现于部分合式公式π中的π被代以π。不出现于部分合式公式Γ中的Γ(Δ₁，…，Δ_n)被代以Γ(Δ₁，…，Δ_n)。其中π、Δ_i分别表示命题变项和个体变项，(ᗄΔ)、(∃Δ)分别表示全称量词和存在量词。Γ(Δ₁，…，Δ_n)为n元谓词。例如：(ᗄ_x)(F(x)∨G(x))的否定式是：(∃_x)(F(x)∧G(x))。
随便看	自我理想自我疗法自我监测自我矛盾型青年自我知觉自我竞争自我肯定型青年自我萎缩型青年自我评价自我评价的发展自我调节自我谜图自我防卫机制自然催眠自然恢复自然暗示自然组设计自然觉醒法自然距离自然高度疗法自生训练自由回忆自由回忆学习自由度自由联想 at the pumps at the push of a button at the rate at the rate of at the rate of exchange prevailing on the date of remittance at the rate of knots at the rates existing in the country at the rates specified in the contract at the ready at the rear at the rear of at the receipt of custom at the receiving end at the regional level at the remembrance of 公庆情感经典语录是什么意思文艺特别的情书是什么意思初恋情感散文诗朗诵稿的简单介绍是什么意思情感散文模板图片大全是什么意思插画类情感语录是什么意思好累的情感和谐语录是什么意思江字情书是什么意思情感语录无奈离开是什么意思元宵节情感散文是什么意思纯真的情感散文阅读感悟是什么意思马东情感语录分析书的简单介绍是什么意思关于情感的散文朗读题目是什么意思道歉的话情感语录空间是什么意思情感散文初夏的雨是什么意思如何读好情感散文课程论文是什么意思成都著名情感挽回机构约会吃饭送花技巧视频教程出门在外怎么去挽回婚姻还可以挽回婚姻表现情话吊牌婚姻家庭中沟通的必要性临时约会的技巧有哪些方面挽回婚姻咨询师李木木惊艳一枪粤语情话相亲女的有俩微信身临其境恋爱游戏攻略大全相亲男怕单独面对我曹县相亲风俗挽回女友最佳时机如何看待夫妻感情道德绿苔的功效与作用：你不知道的惊人好处眼霜的作用与功效：保护、滋养和修复你的娇嫩眼部肌肤地雷的功效与作用，你了解多少？蛤蜊的营养和功效大揭秘，惊人的健康价值！猪皮的功效与作用：你所不知道的猪皮疗法探秘钟乳石的功效：你可能不知道的惊人作用惊艳你的健康：牛奶功效与作用揭秘探秘鄱的作用与功效：你知道鄱的神奇之处吗？漂浮的好处与益处叶脉的功效与作用：全面了解叶脉的健康效果饮茶的10个惊人功效，你知道吗？莲子的功效与作用：探究莲子对健康的益处分心木的功效与作用：帮助集中注意力与提升专注力小米的功效与作用及其营养价值解析海带的功效与作用：了解海带的营养价值及其对健康的益处

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。