缘奇科普-奇怪的知识又增加了

必要条件假言推理的否定前件式:什么意思、推

原创版权 作者: 字体大小选择: [ ]

否定前件式:什么意思、推理形式

否定前件式是指:前提中否定假言判断的前件,结论否定它的后件。

其推理形式是:

用符号化的横式可表示为:((p←q)∧┐p)→┐q

例如:

发表评论 (已有 条评论)

  

评论列表

    快来评论,快来抢沙发吧~