分条件,Q称为P的必要条件。Р若P成立,Q就一定会成立,这叫「P称为Q的充分条件」;Р若Q不成立,P就不成立,这叫「Q称为P的必要条件」。Р充分条件是前面成立,后面一定要成立,可以这样想:「有则必然」。必要条件是「无则不然」,后面不成立,前面就不成立。若是充分必要条件,就是P和Q会同时成立,或者是同时不成立。РAF4:Р如果 P ,则 QР __________Q________ Р所以,PР这是个无效的论证形式Р六、结语Р第一种((AF1)和(AF2))逻辑系统我们通常称为语词逻辑(term logic)。Р第二种((AF3)和(AF4))逻辑系统则称为命题逻辑(propositional logic)。Р值得注意的是,某个论证是否为有效论证,其实与采取那一种逻辑系统形式化是有关系的。是否为一有效论证,与用那一种逻辑系统看它是有关系的。在命题逻辑中是无效论证,但是在语词逻辑中可能是有效论证。所以,采取不同的逻辑系统会影响论证是否有效。Р第三讲命题逻辑语言Р一、日常语言构成的论证的问题Р1.歧义(ambiguity)Р2.含混(vagueness)Р3.开放(open)Р Р歧义(ambiguity):Р1.语法歧义(syntactic or structural ambiguity)Р2.语意歧义(semantic or lexical ambiguity)Р第一类我们称之为结构上的歧义,或是语法上歧义。Р第二类歧义则称为语意上的歧义,或者是字词上的歧义。Р第三类我们先不在这里谈,通常称为语用上的,语用的歧义就是跟使用者有关系,或者跟语气有关系。Р(二)语法歧义Р根据不同的语句结构解读方式,同一语句会有不同的意义。Р例如:下雨天留客天留我不留Р语法歧义就是,根据不同结构来解读,即有不同意义。各位看到这句,第一个,直接的读法是什么?主人的意思是:下雨,天留客,天留,我不留。