语言中的逻辑

    命题是指用语言、符号或式子表达的，可判断真假的陈述句，可以写成“若p，则q”形式。一个命题有它的逆命题，否命题和逆否命题三种。若p，则q”的逆命题是“若q，则p”，否命题是“若非p，则非q”，逆否命题就是“若非q，则非p”。一个命题和它的逆否命题有相同的真假性，而一个命题和它的逆命题和否命题之间的真假性无关。

本作品为“科普中国-科学原理一点通”原创，转载时务请注明出处。