|
|
悖论, 不恒真的命题
数学的命题是否成立, 与命题的条件有关, 这种条件就是命题的题设. 根据题设A对题断B的作用, 命题的题设具有两种特征三种情况.
两种特征分别是充分特征与必要特征.
充分特征: 有题设A就有题断B. 这时称题设A为题断B的充分条件.
必要特征: 没有题设A就没有题断B. 这时称题设A为题断B的必要条件.
三种情况是:
一、充分但不必要条件. 这种题设只具有充分特征, 但不具有必要特征.
二、必要但不充分条件. 这种题设只具有必要特征, 但不具有充分特征.
三、充分且必要条件. 这种题设既具有充分特征, 又具有必要特征.
一个数学命题当题设A不是题断B的充分且必要条件时,命题不恒真,部分悖论,属于这类命题.
例:我在说谎.
题设”我”不是题断”说谎”的充分且必要条件.这时原命题的否命题”没有我就没有谎言”不是恒真命题. |
|