说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 逻辑命题
1.
a relation between logical propositions.
两个逻辑命题之间的关系。
2.
one of the substantive phrases in a logical proposition.
逻辑命题当中的主要短语之一。
3.
Proposition relativity and logic calculation in probabilistic logic;
概率逻辑中的命题相关性与逻辑运算
4.
extension principle of propositional logic
命题逻辑的外延性原理
5.
Fact Proposition, Value Proposition, Norm Proposition and Their Logic
事实命题、价值命题、规范命题及其逻辑
6.
Theory of Truth Degree in Lukasiewicz 3-valued Propositional Loggic;
Lukasiewicz三值命题逻辑中命题的真度理论
7.
Theory of Truth Degrees in Lukasiewicz n-Valued Propositional Logic;
Lukasiewicz n值命题逻辑中命题的真度理论
8.
Research and Analysis of Probability Logic Based on Universal Logics;
基于泛逻辑学的概率命题逻辑的研究与分析
9.
Maximal Proposional Sets and Complete Proposional Sets in the Classical Proposional Logical Systems
二值命题逻辑中的极大命题集与完备命题集
10.
Probability Truth Degree of Multi-valued Propositional Logic and Intuitionistic Fuzzy Propositional Logic System;
多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度
11.
Comparison between the Classical Propositional and the Propositional Modal Systems
古典命题逻辑与模态命题逻辑的形式系统之比较
12.
On the Decidability of Paraconsistent Propositional Logics Cn;
弗协调命题逻辑C_n的判定性问题
13.
(logic) a proposition obtained by conversion.
(逻辑学)通过颠倒得到的命题。
14.
Probability Truth Degree of Two Fuzzy Propositional Logic Systems;
两种模糊命题逻辑的公式的概率真度
15.
Interval-Valued Fuzzy Propositional Logic and Its Generalized Tautology;
区间值模糊命题逻辑及其广义重言式
16.
Modificatory Atanassov Logical and Its Generalized Tautology;
修正的Atanassov命题逻辑及其广义重言式
17.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
18.
The Study of the Integrated Resemblance Degrees and the Distance in the Propositional Logic Systems;
命题逻辑公式的相似度与距离之研究