命题的三种基本形式为 逆命题、否命题、逆否命题 ,具体如下:
-
逆命题
将原命题的条件和结论颠倒。例如,原命题为“若x>1,则f(x)=(x-1)^2单调递增”,其逆命题为“若f(x)=(x-1)^2单调递增,则x>1”。
-
否命题
同时否定原命题的条件和结论,但保持顺序不变。例如,原命题为“若x>1,则f(x)=(x-1)^2单调递增”,其否命题为“若x≤1,则f(x)=(x-1)^2不单调递增”。
-
逆否命题
先颠倒条件与结论,再同时否定两者。例如,原命题为“若x>1,则f(x)=(x-1)^2单调递增”,其逆否命题为“若f(x)=(x-1)^2不单调递增,则x≤1”。
说明 :
-
这三种形式在逻辑学中用于分析命题结构,通过相互转换揭示逻辑关系。
-
在数学中,命题形式还包括公理、定理等,但逆命题、否命题、逆否命题是逻辑推理的核心基础。