问题标题:
离散数学的公式化简后得出是什么类型?((p→q)∧(q→r))→(p→r)这个命题公式类型是可满足式?永假式?永真式?
问题描述:

离散数学的公式化简后得出是什么类型?

((p→q)∧(q→r))→(p→r)

这个命题公式类型是可满足式?永假式?永真式?

陈文飞回答:
   ((p→q)∧(q→r))→(p→r)┐((┐p∨q)∧(┐q∨r))∨(┐p∨r)(┐(┐p∨q)∨┐(┐q∨r))∨(┐p∨r)((p∧┐q)∨(q∧┐r))∨(┐p∨r)((p∧┐q)∨┐p)∨((q∧┐r)∨r)((p∨┐p)∧(...
查看更多
八字精批 八字合婚 八字起名 八字财运 2024运势 测终身运 姓名详批 结婚吉日
已出生未出生
数学推荐
热门数学推荐
付费后即可复制当前文章
《离散数学的公式化简后得出是什么类型?((p→q)∧(q→r))→(p→r)这个命题公式类型是可满足式?永假式?永真式?|高中数学问答-字典翻译问答网》
限时特价:5.99元/篇原价:20元