正确逻辑推理方法来证明其真实性的命题，叫做定理。 “系或推论”：很容易由某个定理导出的定理，称系或推论。 “公理(axiom)”:按上述定义，证明命题要有已知真命题作为根据，而所根 据的已知真命题的证明，又要根据另一些已知真命题，这样，在真命题序列中 必有某些真命题是不能从别的真命题推出的，这样的真命题，叫该科学系统中的 “公理”。 2.命题的结构 (1)命题中的变项与常项 “变项”：把命题中没有固定含义的一个代词或者未完全确定的对象，叫做 变项。 “常项”：具有固定含义的词或概念，叫做常项。 例如：命题“若p,则q”。 p、q一变项，“若”，“则”一常项。 (2)简单命题与复合命题 [命题合取式（联言命题） 常见复合命题模式命题析取式（选言命题） 命题涵式（段言命题） 命题否定式 、入、→、的结合力依次减弱。 (3)基本逻辑联词与命题演算规则（曹本P208) °.否定（非）p读作“非P” 2°.合取（与） pAq 3°.析取（或） Note:“或”有两种不同的意义。 ①不可兼“或”，用pg表示，如： “今天下午阴雨或晴天”，“我爬山或游泳”：“△ABC或是锐角△，或是R △，或是钝角△”一一排除选言支同时存在的可能。 ②可兼“或”：用pvg表示，如： “我弹琴或我唱歌”，“a大于或等于b”,“x=0或y=0” 正确逻辑推理方法来证明其真实性的命题，叫做定理。 “系或推论”：很容易由某个定理导出的定理，称系或推论。 “公理(axiom)”：按上述定义，证明命题要有已知真命题作为根据，而所根 据的已知真命题的证明，又要根据另一些已知真命题，这样，在真命题序列中， 必有某些真命题是不能从别的真命题推出的，这样的真命题，叫该科学系统中的 “公理”。 2．命题的结构 （1）命题中的变项与常项 “变项”：把命题中没有固定含义的一个代词或者未完全确定的对象，叫做 变项。 “常项”：具有固定含义的词或概念，叫做常项。 例如：命题“若 p，则 q”。 p、q—变项，“若”，“则”—常项。 （2）简单命题与复合命题        命题否定式 命题涵式 段言命题 命题析取式 选言命题 命题合取式 联言命题 常见复合命题模式 （ ） （ ） （ ） 、、、→、的结合力依次减弱。 （3）基本逻辑联词与命题演算规则（曹本 P.208） 1 ．否定（非） p 读作“非 P” 2 ．合取（与） pq 3 ．析取（或） p  q Note: “或”有两种不同的意义。 ①不可兼“或”，用 pq 表示，如： “今天下午阴雨或晴天”，“我爬山或游泳”；“△ABC 或是锐角△，或是 Rt △，或是钝角△”——排除选言支同时存在的可能。 ②可兼“或”：用   q 表示，如： “我弹琴或我唱歌”，“a 大于或等于 b”,“x=0 或 y=0