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

来源:学生作业帮助网 编辑:作业帮 时间:2024/10/04 00:52:04
逻辑学形式证明所有蛋类都是可食的.所有非食品是不可食的.所有食品是有营养的.所以,所有蛋类是有营养的.形式证明
xS[NPP E`nD^EJkPã("(PY"{!wno.6?lϙsMeҮhK `[az֫T&օ3%Ý%8oj։!GolFCa aJPE4o==L:d߉1J'b##1$:}cSVGZb&w$SE|/]rkQZlS^GÌL d!K9Tx⧆ω7:SBFcj<(qY9,lo`؞&AhNfBG#D+| xv*M(P=(uOnE!rn,5ܻw@; *OC׌%l1l5C7PI`H%2G'sNi

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

逻辑学形式证明所有蛋类都是可食的.所有非食品是不可食的.所有食品是有营养的.所以,所有蛋类是有营养的.形式证明
这其中包含了两个三段论推理.
第一个三段论:
大前提:所有可食的都是食品.(由“所有非食品是不可食的”换质成为“所有非食品不是可食的”,再换位成为“所有可食的不是非食品”,再换质成“所有可食的是食品”)
小前提:所有蛋类都是可食的
结论:所有蛋类都是食品.
第二个三段论:
大前提:所有食品是有营养的.
小前提:所有蛋类都是食品.
结论:所有蛋类是有营养的.
需要注意的是,在这两个三段论中,第一个三段论的大前提需要对已给的判断做出几次变形;第二个三段论中要把第一个三段论的结论作为小前提.
根据三段论推理的规则,上述两种三段论形式有效.