当且仅当的推理规则
发布网友
发布时间：2024-09-28 22:17
共1个回答
热心网友
时间：2024-09-29 20:19
充分必要条件假言推理有如下四个有效式：
（1）由肯定前件到肯定后件
p当且仅当q
所以，q例如：
当且仅当两条直线平行，内错角才相等；
这两条直线平行，所以，它们的内错角相等。
（2）由肯定后件到肯定前件
p当且仅当q
q所以，p
例如：当且仅当两条直线平行，内错角才相等；
这两条直线内错角相等，所以，这两条直线是平行的。
（3）否定前件到否定后件
p当且仅当q
非p所以，非q
例如：
当且仅当两条直线平行，内错角才相等；
这两条直线不平行，所以，这两条直线内错角不相等。
（4）由否定后件到否定前件
p当且仅当q
非q所以，非p
例如：
当且仅当两条直线平行内错角才相等；
这两条直线内错角不相等，所以，这两条直线不是平行的。
