求证:1、原命题与其逆否命题同真同假 2、子集与推出关系在逻辑上是等价的

来源:百度知道 编辑:UC知道 时间:2024/05/12 15:28:57

1 这是一个逻辑上的问题,似乎是很难严密证明的。
2 A推出B,则A是B的子集对吧?
这也是一个逻辑上的东西。
建议你要弄明白,去看关于数理逻辑和集合论的书。

1、真怪了,我在这百度上就这个问题回答了不下10次了,竟然还有人问。

证明:
若P则Q:P→Q=(┐P)∨Q=Q∨(┐P)=(┐Q)→(┐P):若非Q则非P.
其中P→Q=(┐P)∨Q是逻辑恒等式,┐表示逻辑非
PS:这只是一种证明而已,也可以列个真值表,一一比较就可以了。

2、因为只有在等价关系式才有推出关系,根据传递性就必然是等价的。否则可以用反证法。

1.是同真同假
2.不知道你的问题的意思!所以没有办法回答!