单项选择题

非单调推理是相对于经典逻辑的单调性而言的,是指在系统中为真的语句数目并非随时间而严格增加。( )

微信扫码免费搜题