所有栏目

充分必要条件推理规则

已输入 0 字
优质回答
  • 充分必要条件假言推理有如下四个有效式:

    (1)由肯定前件到肯定后件

    p当且仅当q

    所以,q例如:

    当且仅当两条直线平行,内错角才相等;

    这两条直线平行,所以,它们的内错角相等。

    (2)由肯定后件到肯定前件

    p当且仅当q

    q所以,p

    例如:当且仅当两条直线平行,内错角才相等;

    这两条直线内错角相等,所以,这两条直线是平行的。

    (3)否定前件到否定后件

    p当且仅当q

    非p所以,非q

    例如:

    当且仅当两条直线平行,内错角才相等;

    这两条直线不平行,所以,这两条直线内错角不相等。

    (4)由否定后件到否定前件

    p当且仅当q

    非q所以,非p

    例如:

    当且仅当两条直线平行内错角才相等;

    这两条直线内错角不相等,所以,这两条直线不是平行的。

    2023-10-25 14:29:06
最新问题 全部问题