网站首页词典首页

　

单词

modus ponens

释义

modus ponens

网络肯定前件式；假言推理；肯定前件假言推理

网络释义

1.	肯定前件式 1. 肯定前件式（modus ponens）:有效论证（1）如果A，那么B。 www.guokr.com
2.	假言推理 1 假言推理 (Modus Ponens) ）前提（事实） 1 前提 2 （规则）结论 x是 x是A if x 是 A, then y 是B y是B [( p ∧ ( p → q )) → q] www.03964.com
3.	肯定前件假言推理肯定前件假言推理(Modus ponens)否定后件假言推理(Modus tollens) 全称量化(universal quantification) 存在量化(existential qu… zh.wikipedia.org

4.	肯定前件推理 ...llens) 來赞成色情刊物，而麦肯能则是用「肯定前件推理」 (Modus Ponens) 來反对色情刊物。 www.docin.com
5.	肯定前件的假言推测 ...pendent logics）的规则是领域特殊，如肯定前件的假言推测（modus ponens），因为可能肯定前件的假言推测仅仅在一种特 … eblog.cersp.com
6.	肯定前件的假言推理 Software Engineering -... ... model checker 模型检验器 modus ponens 肯定前件的假言推理 modus tollens 否定后件的假言推理 ... secv.blogspot.com

更多释义

收起释义

例句

随便看

　

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。

　

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间：2025/10/3 3:11:03