逻辑学问题 请将如下语句翻译为一阶谓词语言；需指明所有符号所代表的个体或关系。 1.公说公有理
逻辑学问题
请将如下语句翻译为一阶谓词语言；需指明所有符号所代表的个体或关系。
1.公说公有理，婆说婆有理。
2.只要张逍不来开会，李遥就来开会，王游也来开会。
3.不是所有的牛奶都叫特仑苏。
4.如果甲或乙去公园，则丙也去公园，否则丙不去公园。
5.如果所有的鱼在水中生活，则有些鸟在天空中生活。
6.存在一个有理数，它比
√2大又比√3小。
7.如果罗素是逻辑学家并且有些逻辑学家是哲学家，则罗素是哲学家。
1、公说公有理，婆说婆有理。p∧q
p表示“公说公有理”，q表示“婆说婆有理”，∧表示“并且”
2、只要张逍不来开会，李遥就来开会，王游也来开会。p→(q∧r)
p表示“张逍不来开会”，q表示“李遥来开会”，r表示“王游来开会”，→表示“如果，就”，∧表示“并且”
3、不是所有的牛奶都叫特仑苏。┓p
┓表示“并非”，p表示“所有的牛奶都叫特仑苏”
4、如果甲或乙去公园，则丙也去公园，否则丙不去公园。(p∨q)←→r
p表示“甲去公园”，q表示“乙去公园”，r表示“丙去公园”，∨表示“或者”，←→表示“当且仅当，才”，┓表示“并非”
5、如果所有的鱼在水中生活，则有些鸟在天空中生活。p→q
p表示“所有的鱼在水中生活”，q表示“有些鸟在天空中生活”，→表示“如果，就”
6、存在一个有理数，它比√2大又比√3小。aRb∧a┓Rc
a表示一个有理数,b表示√2，c表示√3，R表示“大于”,∧表示“并且”,┓表示“并非”
7、如果罗素是逻辑学家并且有些逻辑学家是哲学家，则罗素是哲学家。
((MIP)∧(SAM))→(SAP)
S表示“罗素”，M表示“逻辑学家”，P表示“哲学家”，∧表示“并且”，→表示“如果，就”
p表示“公说公有理”，q表示“婆说婆有理”，∧表示“并且”
2、只要张逍不来开会，李遥就来开会，王游也来开会。p→(q∧r)
p表示“张逍不来开会”，q表示“李遥来开会”，r表示“王游来开会”，→表示“如果，就”，∧表示“并且”
3、不是所有的牛奶都叫特仑苏。┓p
┓表示“并非”，p表示“所有的牛奶都叫特仑苏”
4、如果甲或乙去公园，则丙也去公园，否则丙不去公园。(p∨q)←→r
p表示“甲去公园”，q表示“乙去公园”，r表示“丙去公园”，∨表示“或者”，←→表示“当且仅当，才”，┓表示“并非”
5、如果所有的鱼在水中生活，则有些鸟在天空中生活。p→q
p表示“所有的鱼在水中生活”，q表示“有些鸟在天空中生活”，→表示“如果，就”
6、存在一个有理数，它比√2大又比√3小。aRb∧a┓Rc
a表示一个有理数,b表示√2，c表示√3，R表示“大于”,∧表示“并且”,┓表示“并非”
7、如果罗素是逻辑学家并且有些逻辑学家是哲学家，则罗素是哲学家。
((MIP)∧(SAM))→(SAP)
S表示“罗素”，M表示“逻辑学家”，P表示“哲学家”，∧表示“并且”，→表示“如果，就”
温馨提示：内容为网友见解，仅供参考
无其他回答
相似回答
