|
3. 简易逻辑 ①逻辑联结词“或”、“且”、“非”的含义、及由“或”、“且”、“非”联结而成的复合命题真假的判断。 ②命题的四种形式,及其逻辑关系和真假关系。 ③注意“命题的否定”与“否命题”是不同的概念。“命题的否定”只否定结论,不否定条件;而命题的“否命题”,条件和结论都要否定。 ④注意常见语句的否定:如“大于”、“都是”、“至少一个”、“最多一个”、“<0”的否定。 ⑤反证法。 适合用反证法证明的命题的类型: Ⅰ)结论的对立面情况比较简单的命题; Ⅱ)结论中含有“至少”、“最多”、“不可能”等语句的命题; Ⅲ)直接证明较复杂,而用反证法证明较简捷的命题。 ⑥充分条件、必要条件。 Ⅰ)条件的充分性和必要性的判定; Ⅱ)充要条件的证明要指明条件的充分性(用条件去证明结论成立)、条件的必要性(用结论去证明条件的成立)的证明过程。
|