propositional

This paper introduces a method for propositional logic calculation .

介绍了命题逻辑演算方法。

Short consistency degrees of finite theories in propositional fuzzy logic system

命题模糊逻辑系统中有限理论的弱相容度

An Empirical Research on the Influencing Factor in Propositional Reasoning Ability

复合命题推理能力相关影响因素的实证研究

A Model Predictive Control Based on Hybrid Systems Integrating Propositional Logic with System Dynamics

结合了命题逻辑与系统动力学的混合控制

Many-sorted propositional dynamic logic system based on parallel processing environment

基于并行处理环境的多类命题动态逻辑系统

Propositional μ - Calculus Design and Implementation for Temporal Logic Systems

时序系统命题μ演算算法设计与实现

An extension of the propositional calculus system of medium logic (ⅱ)

中介逻辑命题演算的扩张（Ⅱ）

A propositional content can have different focuses of sentence .

一个命题内容可以有不同的语句焦点。

Another decision method for the validity of the propositional inference

关于命题论证有效判定的另一方法

The second goal is to discuss the roots of propositional set .

第二，讨论了命题集的根。

Automatic Generation and Formal Output of Special Normal Forms of Propositional Formulae

命题公式主范式的自动生成与形式输出

The Computer Implementation of the Propositional Logic Equivalent Calculation

命题逻辑等值演算的计算机实现

Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae

基于路径搜索的格值命题逻辑自动推理方法

The Psychological Research on Propositional Reasoning : Review and Comments

命题推理的心理学研究综述

Discussing about the Completeness Proof of Normal Modal Propositional Logic System

关于正规模态命题逻辑系统的完全性证明

Item Order of Propositional Representation in Understanding Chinese Initiative and Passive Sentences

汉语主动句、被动句的命题表征项目顺序特点

Digital Form of Logical Consequence Theory in Propositional Logic

命题逻辑中推理理论的数字形式

Generating Algorithm of Truth Value Table and Type 's Mechanical Decision to a Propositional Formula

命题公式真值表的生成与公式类型的机械判定

The first indicates that one utterance determines the other in propositional content ;

命题内容连贯指一话语在决定另一话语的内容所起作用的连贯；

In this paper , we propose a new description method of information processing systems based on propositional logic .

本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法。

The algorithm and complexity of propositional knowledge base revision

命题知识库更新的算法及其复杂性

Studies on Calculus Theory and Reasoning of Propositional Universal Logic

命题泛逻辑的演算理论及推理研究

Σ - generalized contradiction in the limited value disturbing fuzzy propositional logic

有限扰动模糊命题逻辑系统的∑-广义矛盾式

The Analysis of Algorithms for the Propositional Logic Satisfiability Problem

命题逻辑可满足性问题的算法分析

Decision of the validity of the propositional inference by basic linguistics

用BASIC语言判定命题推理的有效性

The Characteristics of Item Order of Propositional Representation in Simple Sentences about Spatial Relationship in Chinese

汉语空间关系简单句命题表征项目顺序特点

Instituting the propositional theory is necessary for a scientific study of sociology .

建构命题化的理论是社会学研究科学化的必然要求。

Type of conclusions and classification of theories in two-valued propositional logic

二值命题逻辑理论的结论类型和分类

What is Situation Model : Propositional Symbol or Perceptual Symbol

情境模型的实质：命题符号与知觉符号之争

The proposition and classification of propositional forms are a very complicated problem .

命题及命题形式的分类是一个相当复杂的问题。