第五章,演绎推理.pptVIP

  • 17
  • 0
  • 约7千字
  • 约 52页
  • 2015-08-31 发布于重庆
  • 举报
第五章,演绎推理.ppt

3.有效式 (1)否定前件式 例如: 只有年满十八岁,才有选举权, 小王没有年满十八岁, ——————————————— 所以,小王没有选举权。 p←—q 只有p,才q ﹁ p 非p —————— ———————— ﹁ q 所以,非q 或:((p←—q)∧﹁p)—→﹁q (2)肯定后件式 例如: 只有具有社会危害性的行为,才是犯罪行为, 他的行为是犯罪行为, ————————————————————— 所以,他的行为是具有社会危害性的行为。 p←—q 只有p,才q q q —————— ———————— p 所以,p 或:((p←—q)∧ q)—→ p 四)、充分必要条件假言推理 1.定义 充分必要条件假言推理是前提中有一个充分必要条件假言判断,并根据充分必要条件假言判断的逻辑性质进行的推理。充分必要条件假言判断的逻辑性质 2.规则 (1)肯定前件,就要肯定后件。(必真:真值表1) 肯定后件,就要肯定前件。(必真:真值表1) (2)否定前件,就要否定后件。(必真:真值表4) 否定后件,就要否定前件。(必真:真值表4) 3.有效式 (1)肯定前件式: 例如 当且仅当一个人犯了罪,则应受到刑罚的处罚, 他犯了罪, ——————————————————————— 所以,他应受到刑罚的处罚 p←→q 当且仅当p,则q p p —————— ———————— q 所以,q 或:((p

文档评论(0)

1亿VIP精品文档

相关文档