否一推一的意思是：p和q两个命题没有交集，两者并集为全集。p和q就包含了所有的可能性，由条件推出的结论只能为两者其中之一。“否一推一”就是如果其中一个是假命题，另一个就可证明一定是真命题。
在现代哲学、数学、逻辑学、语言学中，命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，表达相同的命题。
