命题才为Р真。如果联言支有一个为假,那么,联言命题Р就是假的РOGICIZE 3-3РРР联言推理Р分解式Р联言推理的分解式是由联言命题的真,Р推出任一个联言支为真的推理形式Рo∧qРp∧qРpР[例]我很丑,可是我很遇柔。Р所以,我很丑。РOGICIZE 3-4РРР成式Р联言推理的合成式是由全部联言支的Р真,推出联言命题为真的推理形式Р∧Р例]业精于勤;业荒于嬉。Р所以,业精于勤而荒于嬉。РOGICIZE 3-5РРР否定式Р联言推理的否定式是由任一个联言支Р的假,推出联言命题为假的推理形式Рp∧q)РfpA∧qР倒]群非张三是壳员。Р所以,并非张三和李四都是壳员。РOGICIZE 3-6РРР3.2选言命题及其推理Р令选言命题是陈述若干事态至少有一种存在的Р复合命题Р相容选言命题Р定义:选言支可同真Р自然语句:或…或;可能…也可能Р◆不相容选言命题Р定义:选言支不同真Р自然语句:不是…就是;要么…要么РOGICIZE 3-7РРР相容选言命题陈述若千事态至少有一种存在,Р也就是说它的支命题至少有一个是真的。如果所Р有选言支都为假,那么选言命题为假Р[例]小王或者懂英语或者懂法语。Р不相容选言命题陈述若干事态有且只有Р种情况存在,就是说其支命题只有一真。所有Р选言支同为真或同为假时,选言命题为假Р[例]张某伤人要么是故意的,要么是过失的РOGICIZE 3-8РРР令选言推理Р●选言推理的否定肯定式Р否定一部分选言支,就要肯定另一部分选言支РpVq,-qp∨q,-pР[例]该素的作案人或者是甲,或者是乙Р现已查明该素的作人不是甲。Р所以,该的作人是乙。РOGICIZE 3-9РРР不相容选言推理的肯定否定式Р肯定一部分选言支,可以否定另一部分选言支РpVa, gРpg, pРpР[例]该罪犯要么是过头犯罪,要么是故意犯罪;Р诚罪犯是过失犯罪。Р所以,诫罪犯不是故意犯罪。
全文预览
