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

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/30 10:51:19

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

谁知道数理逻辑里的古怪的各种符号怎么念?我看的是北大邢滔滔的《数理逻辑》
可以按意义直接读“合取”“析取”“非”等.
全称符号可以读“对任意x”.
存在读“存在x”.
不过,那个一个竖线加一个横线的推出符号,
和那个一个竖线加两个横线的推出符号,怎么读大家也都不知道.
理解意思就行.
我说的是一般逻辑书里的,刑的书没看过,不知道是不是和一般书上的一样.