（四）真值表(truth table) （五）间接真值表(indirect truth table) （六）自然演绎(natural deduction) （七）真值树法(truth tree method) 一、张三和李四到法庭为三名嫌犯P、Q、R作证。
基于2524个网页-相关网页
Natural Deduction system [计] 自然推理系统 ; [计] 自然演绎系统
natural deduction theorem proving 自然演绎法定理证明
natural deduction t 自然演绎型
calculus of natural deduction [数] 自然推理演算
labeled natural deduction system 标号自然演绎系统
natural deduction proof procedure 自然演绎证明过程
以上来源于: WordNet
N a system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stage 自然演绎 → compare axiomatic
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
Through description of fuzzy set and fuzzy deduction, some words and phrases from natural language can be transfered into mathematical models acceptable to the computer to realize computer control.
自然语言中某些单词、词组等通过模糊集合的描述和模糊推理转换成计算机可以接受的数学模型，就可以实现计算机控制。
应用推荐