以下为句子列表：
英文: Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable.
中文: 给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。
更详细...
英文: Baldwin′truth value restriction multiconditional fuzzy reasoning algorithms is presented in discrete membership function.
中文: Baldwin的真值限定概念 ,给出了在离散隶属函数下的一组基于MAX -⊙复合运算和模糊关系Rb 的多条件模糊真值推理算法。
更详细...
|
