一的优合取范式”、“除矛盾式外任一真值形式都有唯一的优析取范式”。［9］由此，我们便可以知道，两个表面看起来并不相同的真值形式，如果它们拥有相同的优合取范式或优析取范式，那么它们便是相同的真值形式。　　现在我们假设真值形式(┐p→┐q)→r和(┐q→┐p
(16/25)
下页
上页
返回列表
返回