字典翻译 问答 高中 数学 《离散数学》证明题证明P→(Q→S),┐RVP,Q┝R→S
问题标题:
《离散数学》证明题证明P→(Q→S),┐RVP,Q┝R→S
问题描述:

《离散数学》证明题证明P→(Q→S),┐RVP,Q┝R→S

杜清珍回答:
  (1)RP(添加前提)(2)┐RVPP(3)PT,(1),(2)(4)P→(Q→S)P(5)(Q→S)T,(3),(4),(6)QP(7)ST,(5),(6)(8)R→SCP,(1),(7)其中,第3步的T用到了公式:┐A∧(A∨B)=>B第5步和第7步的T用到了公式:A∧(A→B)=>BP:前...
点击显示
数学推荐
热门数学推荐
  • 语文
  • 数学
  • 英语
  • 政治
  • 地理
  • 历史
  • 化学
  • 生物
  • 物理
  • 综合
  • 高考