发布时间:2019-02-10 15:38:04
二难推理:
若p→q、¬p→q同真,则q必真。
归谬法:
若p→q、p→¬q同真,则p必假
反证法:
若¬p→q、¬p→¬q同真,则¬p必假,即p必真。
该内容由生活日记网提供.