逻辑学基础 证明 A∧B→C推出A→(B→C)

可爱可可 1年前 已收到1个回答 举报

Genius150 幼苗

共回答了26个问题采纳率:84.6% 举报

(A∧B)→C
(A∧B)VC.(实质蕴涵)
AV~B)VC.(德摩根律)
AV(~BVC).(结合律)
AV(B→C).(实质蕴涵)
A→(B→C).(实质蕴涵)
以上为推导步骤.

1年前

6
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.040 s. - webmaster@yulucn.com