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

来源:学生作业帮助网 编辑:作业帮 时间:2024/07/17 02:44:52
谁知道数理逻辑里的古怪的各种符号怎么念?我看的是北大邢滔滔的《数理逻辑》
xR]N@ 4x=!U ZP V(w[8e +f3373߬I ?˻#}'D*&oĆşcf-Thh *o0 l+DxqK]\NY.Ik'YF`@hX/smHF:|VH*;;jF^Hio0{:k bO܀[֬S.t*.˯Tń"Gã@%6B/v7vWM\ @}S›+0JUժ ч>n%-L<c@@Lje:kra

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

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