Formal Reasoning System Based on Fuzzy Propositional Modal Logic
基于模糊命题模态逻辑的形式推理系统
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
This paper develops the concept of consistency of finite theories in propositional fuzzy logic system.
摘要推广了命题模糊逻辑系统中有限理论相容性的概念。
英文例句大全为您提供propositional logic英文例句大全,propositional logic英文造句,关于propositional logic的英语句子,单词propositional logic怎么造句,propositional logic英文例句大全有哪些,哪些英语句子是关于propositional logic,英语单词propositional logic的句子,单词propositional logic如何造句,propositional logic怎么造句等。