假设推理系统证明下列公式为定理 ((P∧Q)→R)→(P→(Q→(S∨R)))

如题所述

举报该文章

相关建议 2018-09-20

证明：海伦公式：若ΔABC的三边长为a、b、c，则 SΔABC=√（（a＋b＋c）×（－a＋b＋c）×（a－b＋c）×（a＋b－c））/4(这是海伦公式的变形，“负号“－”从a左则向右经过a、b、c”，负号从x轴负轴向正轴扫描一个周期！我觉得这么记更简单，还设个什么l=(a+b=c)/2啊，多此一举！) 证明：设边c上的高为 h,则有 √(a^2－h^2)＋√(b^2－h^2)=c √(a^2－h^2)=c－√(b^2－h^2) 两边平方，化简得： 2c√(b^2－h^2)=b^2+c^2-a^2 两边平方，化简得： h=√(b^2-(b^2+c^2-a^2)^2/(4c^2)) SΔABC=ch/2 =c√(b^2-(b^2+c^2-a^2)^2/(4c^2))/2 仔细化简一下，得： SΔABC=√（（a＋b＋c）×（－a＋b＋c）×（a－b＋c）×（a＋b－c））/4 设三角形的三边a、b、c的对角分别为A、B、C，则余弦定理为 cosC = (a^2+b^2-c^2)/2ab S=1/2*ab*sinC =1/2*ab*√(1-cos^2 C) =1/2*ab*√[1-(a^2+b^2-c^2)^2/4a^2*b^2] =1/4*√[4a^2*b^2-(a^2+b^2-c^2)^2] =1/4*√[(2ab+a^2+b^2-c^2)(2ab-a^2-b^2+c^2)] =1/4*√[(a+b)^2-c^2][c^2-(a-b)^2] =1/4*√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)] 设p=(a+b+c)/2 则p=(a+b+c)/2, p-a=(-a+b+c)/2, p-b=(a-b+c)/2,p-c=(a+b-c)/2, 上式=√[(a+b+c)(a+b-c)(a-b+c)(-a+b+c)/16] =√[p(p-a)(p-b)(p-c)] 所以，三角形ABC面积S=√[p(p-a)(p-b)(p-c)]

温馨提示：内容为网友见解，仅供参考

当前网址：https://11.t2y.org/zz/227s2m27s47mvfspfp.html

其他看法

无其他回答

试用假设推理方法证明下面的定理:
【答案】：由推理定理可知，只要证：R→P，R→Q，RP∧Q．①R 假设前提 ②R→P 假设前提 ③P 分②① ④R→Q 假设前提 ⑤Q 分④① ⑥P∧Q 由③⑤$由推理定理可知，只要证：P∧Q→R，P，QR．①P 假设前提 ②Q 假设前提 ③P∧Q 由①② ④P∧Q→R 假设前提 ⑤R 分④③ ...

【离散数学用推理规则证明】前提: p∨q, p->s, q->r 结论: s∨r...
┐s∧┐r1置换。┐s2化简。p→s前提引入。┐p34拒取式。┐r2化简。q→r前提引入。┐q67拒取式。┐p∧┐q58合取。因为(┐(p∨q))∧(p∨q)<=>0，所以原推理是正确的。内容涉及：1、集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。2、图论部分：图的基本概念、...

逻辑什么意思高手来要求回答的要深入浅出
(2) 除了为一般模态系统所避免的象 p → (q → p) 等著各的蕴涵怪论以外, Cm 还避免了象 T p → q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。 (3) 跟一般模态系统不同, Cn有象 [p → (q → r)] → [q → (p → r)] 这一类公式。 (4) 相当于在一般形式逻辑书中列出的传统...

命题逻辑的含义?
演算是用来证明有效的公式(就是说它的定理)和论证(argument)的逻辑系统。它是公理或公理模式的 *** (它可以为空或是可数无限 *** ),和推导有效的推理的推理规则。形式文法(或语法)递归定义语言的表达式和合式公式(wff)。此外给出定义真值和求值(或释义)的语义。它允许我们确定哪个 wff 是有效的(也就是定理...

模态逻辑模态命题演算
模态命题演算T是一个直观且简单的系统。它在原有命题演算基础上增加了一个基本符号L和形成规则，公理以及推理规则。重要定理包括：p →Mp；Lp →Mp；塡Lp凮M塡p；塡Mp凮L塡p；(塡p崊p)凮Lp；Lp →(q崊p)；L塡p →(p崊q)。在模态命题演算T中，符号L可以解释为“必然”，M解释为“可能”...

合取引入规则
试证明R∧(P∨Q)为定理。证明:T：拒取式：C₁，C₂。T：析取三段论：C3，C4。T：分离规则：C5，C6。T：合取引入：C4，C7。有张、王、李、赵四人均为同班同学，有如下的事实：如张与王去看球赛则李也一定去看；现有张去看球赛或赵不去看球赛；王去看球赛。此时有结论：如赵去...

模态逻辑的模态命题演算
其中，模态命题演算T是一个很简单并且直观性很强的系统。它是在一个完全的命题演算上再加上①一个基本符号：L；②一条形成规则：如果 A是合式公式，则LA是合式公式；③两条公理：Lp →p,L(p →q) →(Lp →Lq)。④一条推理规则：如果p是定理，则Lp是定理。⑤一些定义：Mp =Df塡L塡p,p...

如何证明推理规则(HS)中的假言三段论?
假言三段论又称假言推理。假言推理总是以假言判断为前提来进行推理的。命题演算中的条定理：（q-r)→（（p→q）→(p→r))。意即如果qr，又如果pq，就可以得到pr。亦即：如果q→r并且pq，就可以得到p→r。此定理被称为三段论原则。假言判断推理：A→B。A为充分条件，B为必要条件。否定A推不出...

以“如果p那么q”和“并非(q并且非r)”为前提进行演绎推理,能必然推 ...
【答案】：C 充分条件假言命题外部制约性规律-蕴涵否定等值律等值式“～（p→q）←→（p∧～q） ”称为“蕴涵否定等值律”，简称为“蕴否律”。根据蕴否律，则有：～（～A→B） ←→（～A∧～B）～（A→～B） ←→（A∧B）……联言命题的负命题...

什么是道义悖论
在道义逻辑标准系统中,Op※O(p∨q)是个定理,直观涵义是,如果p是应当的,那么p或者q也是应当的。1941年,丹麦法哲学家罗斯在其《命令句和逻辑》一文中构造了如下道义推理:如果某人邮寄一封信是应当的,那么,他邮寄这封信或者烧掉它是应当的。这个由罗斯提出的代入特例显然有违人们的道义直观,人称“罗斯悖论”。“...

相似回答

大家正在搜