姑苏城外寒山寺，夜半歌声到客船。请用一阶谓词的表示出来，一很重要的试题，请各位高手帮助

发布网友 发布时间：2022-05-01 19:37

我来回答

共2个回答

热心网友 时间：2023-10-24 12:21

是不是表示成一种类似于函数映射的关系啊？
第一句可以写成是： 寒山寺，在（姑苏城）外
第二句可以写成是： 寒山寺的钟声，传到了客船上。

热心网友 时间：2023-10-24 12:21

是不是表示成一种类似于函数映射的关系啊？
第一句可以写成是： 寒山寺，在（姑苏城）外
第二句可以写成是： 寒山寺的钟声，传到了客船上。

热心网友 时间：2023-10-24 12:22

在命题逻辑中，有些问题得不到解决

例如：判断以下推理是否正确：

凡人都是要死的，
苏格拉底是人，
所以苏格拉底是要死的。

这是著名的“苏格拉底三段论”，若用分别表示以上3个命题，推理形式为，不是重言式，也就是说用命题逻辑无法解决这个根据常识就可断定的正确推理。

因此，有必要研究简单命题的各种成分(个体词，谓词，量词)，以及它们的形式结构和逻辑关系，总结出正确的推理形式和规则。这部分内容即一阶逻辑(又称谓词逻辑)。
======================================

因此用一阶谓语表示就是：半夜里孤苏城外寒山寺的钟声响传到我的客船。

热心网友 时间：2023-10-24 12:21

是不是表示成一种类似于函数映射的关系啊？
第一句可以写成是： 寒山寺，在（姑苏城）外
第二句可以写成是： 寒山寺的钟声，传到了客船上。

热心网友 时间：2023-10-24 12:22

在命题逻辑中，有些问题得不到解决

例如：判断以下推理是否正确：

凡人都是要死的，
苏格拉底是人，
所以苏格拉底是要死的。

这是著名的“苏格拉底三段论”，若用分别表示以上3个命题，推理形式为，不是重言式，也就是说用命题逻辑无法解决这个根据常识就可断定的正确推理。

因此，有必要研究简单命题的各种成分(个体词，谓词，量词)，以及它们的形式结构和逻辑关系，总结出正确的推理形式和规则。这部分内容即一阶逻辑(又称谓词逻辑)。
======================================

因此用一阶谓语表示就是：半夜里孤苏城外寒山寺的钟声响传到我的客船。

热心网友 时间：2023-10-24 12:22

在命题逻辑中，有些问题得不到解决

例如：判断以下推理是否正确：

凡人都是要死的，
苏格拉底是人，
所以苏格拉底是要死的。

这是著名的“苏格拉底三段论”，若用分别表示以上3个命题，推理形式为，不是重言式，也就是说用命题逻辑无法解决这个根据常识就可断定的正确推理。

因此，有必要研究简单命题的各种成分(个体词，谓词，量词)，以及它们的形式结构和逻辑关系，总结出正确的推理形式和规则。这部分内容即一阶逻辑(又称谓词逻辑)。
======================================

因此用一阶谓语表示就是：半夜里孤苏城外寒山寺的钟声响传到我的客船。

热心网友 时间：2023-10-24 12:21

是不是表示成一种类似于函数映射的关系啊？
第一句可以写成是： 寒山寺，在（姑苏城）外
第二句可以写成是： 寒山寺的钟声，传到了客船上。

热心网友 时间：2023-10-24 12:22

在命题逻辑中，有些问题得不到解决

例如：判断以下推理是否正确：

凡人都是要死的，
苏格拉底是人，
所以苏格拉底是要死的。

这是著名的“苏格拉底三段论”，若用分别表示以上3个命题，推理形式为，不是重言式，也就是说用命题逻辑无法解决这个根据常识就可断定的正确推理。

因此，有必要研究简单命题的各种成分(个体词，谓词，量词)，以及它们的形式结构和逻辑关系，总结出正确的推理形式和规则。这部分内容即一阶逻辑(又称谓词逻辑)。
======================================

因此用一阶谓语表示就是：半夜里孤苏城外寒山寺的钟声响传到我的客船。