“SIP”即“有S是P” ④特称否定判断，用“O”表示。 “SOP”即“有S不是p”。 (2)数学判断：(Mathematical Judgement 关于数学对象及其属性的判断。 数学判断，既研究判断的形式，也研究判断的内容，把判断的内容与形式统 一起来。如：应用题中不合题意者舍去。 常用的数学判断（假言判断）：“若p,则q”。 (3)命题（数理逻辑名词）： 命题是一个具有真假语句意义的陈述语句.（或称可判断直假）。命题的真假， 由其内容来判定。用p、q、等来代表任意的语句。 p、q、r等称语句变元。 “1”代表一个真语句取的值，“0”代表一个假语句取的值。 “1”、“0”都称语句常项。 例：“2是偶数”一真命题：“1是偶数”一假命题。 显然，一个语句或式子不一定是命题。例如： “3加4等于多少？” “圆具有什么性质？” “方程x+68”,“x是偶数”。（含有一个变数x,可真可假）。 在数理逻辑中，可真可假的句子叫做开句或命题函项，而不叫命题。 当命题函项赋值时，即成为命题。 (4)中学数学命题(Mathematical Proposition) 数学中，用来表示数学判断的语句或符号的组合称数学命题，中学数学中研 究的数学命题主要指：有关公理，定理，公式或数学题中的判断。 ·数学上，把真实性为人们所公认而又不加以证明的数学命题，称为公理 (一般要求：满足“三性”一无矛盾性、独立性、完备性) ·在数学中，根据已知概念和真命题，运用正确逻辑推理方法已经证明其真 实性的命题，叫做定理 何谓“定理((theorem)”:在数学科学体系中，根据已知概念和真命题，运用“SIP”即“有 S 是 P”。 ④特称否定判断，用“O”表示。 “SOP”即“有 S 不是 P”。 （2）数学判断：（Mathematical Judgement） 关于数学对象及其属性的判断。 数学判断，既研究判断的形式，也研究判断的内容，把判断的内容与形式统 一起来。如：应用题中不合题意者舍去。 常用的数学判断（假言判断）：“若 p，则 q”。 （3）命题（数理逻辑名词）： 命题是一个具有真假语句意义的陈述语句。（或称可判断直假）。命题的真假， 由其内容来判定。用 p、q、r 等来代表任意的语句。 p、q、r 等称语句变元。 “1”代表一个真语句取的值，“0”代表一个假语句取的值。 “1”、“0”都称语句常项。 例： “2 是偶数”—真命题；“1 是偶数”—假命题。 显然，一个语句或式子不一定是命题。例如： “3 加 4 等于多少？” “圆具有什么性质？” “方程 x+6=8”，“x 是偶数”。（含有一个变数 x，可真可假）。 在数理逻辑中，可真可假的句子叫做开句或命题函项，而不叫命题。 当命题函项赋值时，即成为命题。 （4）中学数学命题（Mathematical Proposition） 数学中，用来表示数学判断的语句或符号的组合称数学命题，中学数学中研 究的数学命题主要指：有关公理，定理，公式或数学题中的判断。 ·数学上，把真实性为人们所公认而又不加以证明的数学命题，称为公理。 （一般要求：满足“三性”—无矛盾性、独立性、完备性） ·在数学中，根据已知概念和真命题，运用正确逻辑推理方法已经证明其真 实性的命题，叫做定理。 何谓“定理(theorem)”：在数学科学体系中，根据已知概念和真命题，运用