【逻辑学形式证明所有蛋类都是可食的.所有非食品是不可食的.所-查字典问答网

来自陈新军的问题

　　【逻辑学形式证明所有蛋类都是可食的.所有非食品是不可食的.所有食品是有营养的.所以,所有蛋类是有营养的.形式证明】

　　逻辑学形式证明

　　所有蛋类都是可食的.所有非食品是不可食的.所有食品是有营养的.所以,所有蛋类是有营养的.

　　形式证明

1回答

2020-11-1014:12

我要回答

提示：回答问题需要登录哦！

曹艳

　　这其中包含了两个三段论推理.

　　第一个三段论：

　　大前提：所有可食的都是食品.（由“所有非食品是不可食的”换质成为“所有非食品不是可食的”,再换位成为“所有可食的不是非食品”,再换质成“所有可食的是食品”）

　　小前提：所有蛋类都是可食的

　　结论：所有蛋类都是食品.

　　第二个三段论：

　　大前提：所有食品是有营养的.

　　小前提：所有蛋类都是食品.

　　结论：所有蛋类是有营养的.

　　需要注意的是,在这两个三段论中,第一个三段论的大前提需要对已给的判断做出几次变形；第二个三段论中要把第一个三段论的结论作为小前提.

　　根据三段论推理的规则,上述两种三段论形式有效.

2020-11-10 14:16:09

大家都在问