Question

证明“若P则q”正确,则“若非q则非P”正确

Answer 1

证明：

若P则Q:P→Q=(「P)∨Q=Q∨(「P)=(「Q)→(「P):若非Q则非P.

其中P→Q=(「P)∨Q是逻辑恒等式,「表示逻辑非

注：以上命题即原命题等价于逆否命题.