网站首页
词典首页
请输入您要查询的英文单词:
单词
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
更多释义
收起释义
例句
随便看
Oteiza
otek
otel
otelixizumab
otellini
otello
otem
Otematata
oten
otenzepad
otep
Otep??
oter
oteracil
oteri
otero
Otero County
Otero de Bodas
Otero Junior College
otes
otesiopsis taiwanica
otey
O.T.F.
OTF
OTFE
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/1/27 9:48:38