趣味百科

当前位置首页 > 百科 > 趣味百科

否一推一是什么意思

否一推一是什么意思

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

在现代哲学、数学、逻辑学、语言学中,命题是指一个判断(陈述)的语义(实际表达的概念),这个概念是可以被定义并观察的现象。命题不是指判断(陈述)本身,而是指所表达的语义。当相异判断(陈述)具有相同语义的时候,表达相同的命题。