技术栈
文化课
xiaoniu142857
2 小时前
数学
·
1024程序员节
·
高中数学
·
文化课
命题的映射化
众所周知,高中数学课本把命题定义为命题是能判断真假的陈述句。这个定义接纳 1 = 2 1=2 1=2、 9 = 3 \sqrt{9}=3 9 =3 这类不含参的陈述,却把 p ( x ) : x > 2 p(x):x>2 p(x):x>2 这类含参数的陈述排除在外,后者通常称为开语句。把两者分开处理,既不方便,也不优美,因为这并没有揭示它们的共同结构:只要给定参数,开语句就唯一确定一个真值。不含参数的陈述则不需要给定任何参数。换句话说,它们都是“参数到真值”的映射。
我是有底线的