如果 D 是任意個體域,則稱 P 和 Q 是等價的,記作 P Q。下面列出今後要用到的一些主要等價式: ( 1 )交換律 PV Q QV P,PA Q QA P ( 2 )結合律(PV Q)V PV(QV R) R PA(QA ...
確定! 回上一頁