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

在一阶逻辑中将下列命题符号化: 1.没有不散的筵席 2.闪光的未必是金子 3.骆驼都比马大
4.有的骆驼比所有的马都大
5.所有的骆驼都比某些马大
6.有的骆驼比某些马大
一夜醒来 1年前 已收到1个回答 举报

wlp666 幼苗

共回答了24个问题采纳率:87.5% 举报

-是否的意思。设宴席为q,散去为p,这句话意思所有宴席都会散去,q→p。设金子为q,闪光为p,金子一定闪光,q→p。3456不懂,或者这么说,不是所有句子都能符号化。比如,鸟会飞,是判断句能符号化。鸟在飞,不是判断句不能符号化。

1年前

1
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.030 s. - webmaster@yulucn.com