否定前件式:什么意思、推理形式
否定前件式是指:前提中否定假言判断的前件,结论否定它的后件。
其推理形式是:
用符号化的横式可表示为:((p←q)∧┐p)→┐q
例如:
本文地址: /s/23629.html
原创版权声明:本文发布于缘奇科普-奇怪的知识又增加了 内容均来源于百度 如有侵权联系删除
否定前件式:什么意思、推理形式
否定前件式是指:前提中否定假言判断的前件,结论否定它的后件。
其推理形式是:
用符号化的横式可表示为:((p←q)∧┐p)→┐q
例如:
发表评论 (已有 条评论)
快来评论,快来抢沙发吧~