谁知道数理逻辑里的古怪的各种符号怎么念?我看的是北大邢滔滔的《数理逻辑》

来源：学生作业帮编辑：拍题作业网作业帮分类：数学作业时间：2024/04/29 11:17:23

可以按意义直接读“合取”“析取”“非”等.
全称符号可以读“对任意x”.
存在读“存在x”.
不过,那个一个竖线加一个横线的推出符号,
和那个一个竖线加两个横线的推出符号,怎么读大家也都不知道.
理解意思就行.
我说的是一般逻辑书里的,刑的书没看过,不知道是不是和一般书上的一样.
再问：那些花体字知不知道是怎么回事，网上花体字繁多，也不知道用的什么版本？！
再答：花体字要么是英文字母，希腊字母，要么是数学符号。按标准读音读就可
再问：看不懂是什么啊，就觉得像茶缸子，凳子……
再答：那个你查一下就行了。就像中国的汉字，也有那样的

谁知道数理逻辑里的古怪的各种符号怎么念?我看的是北大邢滔滔的《数理逻辑》什么是离散数学里数理逻辑里面的真值离散数学数理逻辑的一个题目数理逻辑对学数学的帮助? 数理逻辑与数学的区别与联系数理逻辑中两种蕴含关系的formal定义数理逻辑的形式和非形式证明的区别? ★形式逻辑与数理逻辑各自研究的是什么?…★ 数理逻辑中→ 和╞之间的区别是什么? 为什么数理逻辑是最难的数学?如题谢谢了传统逻辑与现代数理逻辑的主要区别? 请帮忙推荐一本介绍数理逻辑,集合论的书