有些关系属于逻辑之外,例如对于任何集合S 和T,都有. TCQ ⇔ TEPS. 不同的逻辑连接词有一些相互关系。例如. P⇒Q. PAQ. 等价于. -PVQ. 等价于-(-PV-Q).
確定! 回上一頁