[词项的种类和外延关系.pptVIP

判断正误： 如果p是q的充分条件，那么q是p的必要条件。 一个推理的前提真，并且结论真，这个推理一定是有效的。 一个推理的前提真，并且结论假，这个推理一定是无效的。 如果一个推理的结论假，那么这个推理就不可能是正确的。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 二 公式及其生成规则 （一）算子（operator） 否定词：“?”，“并非”； 合取词：“?”，“并且”； 析取词：“?”，“或者……或者……”； 蕴涵词：“→”，“如果……那么……”； 等值词：“?”，“当且仅当” Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （二）命题形式(statement form) 否定式（negation）：“?p” 合取式(conjunction)：“p?q” 析取式(disjunction)：“p?q” 蕴涵式(implication)：“p→q” 等值式(equivalence)：“p?q” Evaluation