逻辑推理中的 否一推一 什么意思啊 举例解释

p和q两个命题没有交集，它俩的并集为全集。意思是p和q就包含了所有的可能性，由条件推出的结论只能为它俩其中之一。“否一推一”就是如果其中一个是假命题，另一个就可证明一定是真命题。