逻辑学形式证明
题目
逻辑学形式证明
所有蛋类都是可食的.所有非食品是不可食的.所有食品是有营养的.所以,所有蛋类是有营养的.
形式证明
答案
这其中包含了两个三段论推理.
第一个三段论:
大前提:所有可食的都是食品.(由“所有非食品是不可食的”换质成为“所有非食品不是可食的”,再换位成为“所有可食的不是非食品”,再换质成“所有可食的是食品”)
小前提:所有蛋类都是可食的
结论:所有蛋类都是食品.
第二个三段论:
大前提:所有食品是有营养的.
小前提:所有蛋类都是食品.
结论:所有蛋类是有营养的.
需要注意的是,在这两个三段论中,第一个三段论的大前提需要对已给的判断做出几次变形;第二个三段论中要把第一个三段论的结论作为小前提.
根据三段论推理的规则,上述两种三段论形式有效.
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
最新试题
热门考点
- few与little的反义词分别是什么
- 辐射的温度,
- 10000十1
- you made me father ang father from my home翻译
- 比喻做事不抓住主要问题,而专顾细枝末节的词语
- 汽车在平直公路上行驶,关闭发动机后行 驶48 m,7 m/s减为5 m/s,再 经过 10 s,汽 车前进多远?
- 一项工作甲单独完成需要2小时乙单独完成需要3小时,如果甲,乙合作,1小时可完成这项工作的(),完成这项工作需()小时.
- “月”在诗句作为不同的意象与赏析
- 写出1个函数关系式,使它满足:1.函数图象在第2、4象限 2.在第2、4的每个象限内y随x的增大而增大 3.由图象
- 集合{2}中含有几个元素个数?(空集算不算一个?)