早教吧 育儿知识 作业答案 考试题库 百科 知识分享

在一阶逻辑中将下列命题符号化:1.没有不散的筵席2.闪光的未必是金子3.骆驼都比马大4.有的骆驼比所有的马都大5.所有的骆驼都比某些马大6.有的骆驼比某些马大

题目详情
在一阶逻辑中将下列命题符号化: 1.没有不散的筵席 2.闪光的未必是金子 3.骆驼都比马大
4.有的骆驼比所有的马都大
5.所有的骆驼都比某些马大
6.有的骆驼比某些马大
▼优质解答
答案和解析

 -是否的意思。

  1. 设宴席为q,散去为p,这句话意思所有宴席都会散去,q→p。

  2. 设金子为q,闪光为p,金子一定闪光,q→p。

3456不懂,或者这么说,不是所有句子都能符号化。

比如,鸟会飞,是判断句能符号化。

鸟在飞,不是判断句不能符号化。

看了在一阶逻辑中将下列命题符号化:...的网友还看了以下: