Template:关于
在逻辑学中，否命题（Template:Lang-en）是通过对一个命题的直接推理得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件和结论的否定，那么称这两个命题互为否命题。
给予初始实质条件命题“若P，则Q”：P→Q，其否命题为“若非P，则非Q”¬P→¬Q。
Template:Reflist
Template:Logic-stub