)→┐r是相矛盾的，那么此时，(┐p→┐q)→r和┐((┐q→┐p）→┐r)便是等值的。根据数理逻辑的相关定理，(┐p→┐q)→r和┐((┐q→┐p）→┐r)等值，那么(┐p→┐q)→r和┐((┐q→
(17/25)
下页
上页
返回列表
返回