200'离散数学--数理逻辑的量词问题

200'离散数学--数理逻辑的量词问题
一般说来,量词的顺序不能随意颠倒,但在某些特殊形式下的量词的顺序能颠倒.查阅相关资料,写篇短文. 写好的追加100分!看不懂的别写
tvcasl 1年前 已收到1个回答 举报

john2006 幼苗

共回答了15个问题采纳率:100% 举报

数学逻辑是用数学方法研究推理,是研究推理中前提和结论之间的形式关系的科学,所谓推理就是由一个或几个判断推出一个新判断的思维形式,这个数学方法就是建立一套表意符号体系,对具体食物进行抽象的形式的研究方法,因此,数学逻辑又称为符号逻辑,这种方法的优点是表达简洁,推理方便,概括性好,易于分析。

1年前

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