(1)否定一个,则肯定另一个;(非p→q,非q→p)
(2)肯定一个不能推出否定另一个.
2.如果p则q的公式:
(4)如果p则q 与 p且非q
(5)要么p要么q 与(p且q)或(非p且非q)
(1)如果p则q,p,所以q
(2)如果p则q,非q,所以非p;
(3)如果非p则非q,非p,所以非q
(4)如果非p则非q,q,所以p;
(5)如果p则q,张三是p,所以张三是q
(6)如果p则q,张三不是q,所以张三不是p
(7)如果p则q,有的s是p,所以有的s是q
(8)如果p则q,有的s不是q,所以有的s不是p
(9)如果p则q,有的p是r,所以有的q是r
(9)如果p则q,如果q则s,所以,p→q→s
(10)如果p则q,如果r则非q,所以,p→q→非r
(11)如果p则q,如果非p则r,所以,非q→非p→r