请输入您要查询的词汇:
词汇
natural deduction
释义
natural deduction
自然演绎系统
一种用於一阶述词演算的演绎系统,由四部分组成:(1)公理和基本规则;(2)联结词规则;(3)量词规则;(4)运算子规则。
随便看
reckon on
reckon up
reckon with
reckon without
re-claim
reclaim
reclaimable
reclaimer
reclamation
reclamation
reclame
reclassify
reclinate
recline
recliner
reclothe
recluse
reclusion
reclusive
recognisable
recognisably
recognise
recognition
recognition
recognition gate
语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。
Copyright © 2000-2024 Yuwen.pub All Rights Reserved
京ICP备2021023879号
更新时间:2024/11/5 16:26:28