一道数理逻辑题.急.高分.求 (非(存在x)P(x)析取(全称y)Q(y))蕴含(全称z)R(z) 的前束范式,几个符号在这里显示不出,懂的人应该看得懂要过程,谢谢!回答出来追加80分!

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/09 02:10:49
一道数理逻辑题.急.高分.求 (非(存在x)P(x)析取(全称y)Q(y))蕴含(全称z)R(z) 的前束范式,几个符号在这里显示不出,懂的人应该看得懂要过程,谢谢!回答出来追加80分!

一道数理逻辑题.急.高分.求 (非(存在x)P(x)析取(全称y)Q(y))蕴含(全称z)R(z) 的前束范式,几个符号在这里显示不出,懂的人应该看得懂要过程,谢谢!回答出来追加80分!
一道数理逻辑题.急.高分.
求 (非(存在x)P(x)析取(全称y)Q(y))蕴含(全称z)R(z) 的前束范式,几个符号在这里显示不出,懂的人应该看得懂
要过程,谢谢!
回答出来追加80分!

一道数理逻辑题.急.高分.求 (非(存在x)P(x)析取(全称y)Q(y))蕴含(全称z)R(z) 的前束范式,几个符号在这里显示不出,懂的人应该看得懂要过程,谢谢!回答出来追加80分!
离散忘光了,本来就不是很好.哎.
表达的蛮仔细的还有人看不懂,
只知道要把存在和全称量词都提取到括号外面,与表达式分离,其他忘光了.

你写得不清楚

离散