┐p）→┐r)应该有相同的优合取范式和优析取范式。在此，我们只求一下(┐p→┐q)→r和┐((┐q→┐p）→┐r)的优合取范式。如果两个真值形式具有相同的优合取范式，那么假设成立，(┐p→┐q)→r和(┐q→┐p)→┐r是相矛盾的
(18/25)
下页
上页
返回列表
返回