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