... logic or constraint-based language 逻辑或基于约束的语言 prepositional logic 前置逻辑 goal-directed 目标导向的 ...
基于24个网页-相关网页
...辑学家也对歧义进行了广泛的研究，从先言逻辑（predicate logic）、形式逻辑 （modal logic）到命题逻辑（prepositional logic），对于逻辑学家，歧义就是在不止一种条件下为真的句子。
基于16个网页-相关网页
prepositional logic representative 命题逻辑表达式
lattice-valued prepositional logic 格值命题逻辑
system of modal prepositional logic 模态命题逻辑系统
应用推荐