條件語句p->q的5個等價命題描述
- if p，then q
- p only if q
- q is necessary for p
- p is necessary for q
- q unless 非p
命題1：if p, then q
命題1是假的，當且僅當p爲真，q爲假。
當p爲假，無論爲q真還是爲假，命題r都是真的。
命題2：p only if q
當q不爲真，p不可能爲真。
顯然有：如果q不爲真，則p不爲真。
命題2爲假，當且僅當命題“q不爲真”是真的，命題“p不爲真”是假的，即p爲真，q爲假。
命題3：q is necessary for p
除非q是真的，否則p不可能是真的。
或者
如果q是假的，則p是假的。
命題3爲假，當且僅當命題“q是假的”爲真，命題“p是假的”爲假，即p爲真，q爲假。
命題4：p is sufficient for q
如果p是真的，則q肯定是真的。
命題4是假的，當且僅當命題“p是真的”爲真，命題”q是真的“爲假，即p爲真，q爲假。
命題5：q unless 非p
如果非p是假的，則q是真的。
命題5是假的，當且僅當命題“非p是假的”爲真，命題“q是真的”爲假，即p爲真，q爲假。