命题形式,propositional form英语短句,例句大全

命题形式,propositional form
1)propositional form命题形式
1.Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.命题形式是用符号来表示的,但命题形式是不是就是命题的符号化?传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。

英文短句/例句

1.The proposition of character on definition, kind and form will be explained and studied roundly in this paper.对性质命题的定义、类、质命题与性质命题形式、质命题的对当关系做了全新的研究和解释。
2.Development and Strategy of NMT Chinese Composition Today新时期高考作文命题形式演变及其应对策略
3.Formalization of Propositional Calculus Form Systems in Isabelle/HOL;命题演算形式系统在Isabelle/HOL中的形式化
4.The Logical analysis and Judgment on the Proving Form of mathematical Propositions;数学命题证明形式的逻辑分析和判定
5.Comparison between the Classical Propositional and the Propositional Modal Systems古典命题逻辑与模态命题逻辑的形式系统之比较
6.Extracting Fuzzy Linguistic Summaries Based on Including Degree Theory and FCA;基于包含度和形式概念分析抽取模糊语言命题
7.From the Relationship Between Proposition and Judgment to Observe the Accurate Characteristic of the Formal Logic;从命题与判断的关系看形式逻辑精确化特征
8.A converse proposition of the sequence form of Stolz theorem and its generalizationsStolz定理数列形式的一个逆命题及其推广
9.nominal response items命名式作答试题命名式作答试题
10.The seizure of power by armed force, the settlement of the issue by war, is the central task and the highest form of revolution.战争革命的中心任务和最高形式是武装夺取政权，是战争解决问题。
11.a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).表示个体,谓词,个体量化,和命题关系的一种形式逻辑。
12.New Marks of Reportage on Rural Areas at Transitional Period:Thematic Exploration and Formal Development of Three-hundred Revolutionary Bar;转型期“三农”报告文学的新标识——《革命百里洲》的题材开掘和形式拓展
13.archeozoic life forms.太古生代的生命形式。
14.a degenerate life form.一种退化了的生命形式
15.If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的。
16.The essence of negative sentence pattern to express affirmative proposition is to link two negative forms together for a positive sense.汉语表达肯定命题的否定句式的实质是连用两次否定形式并表达一个肯定意义。
17.Life Form under the Cover of Divinity:The Subject of Life in SHEN Cong-wen's Novels神性氤氲的生命形态——沈从文小说生命主题研究
18.The hypothetical propositions of mathematics are called into play when the generalizations of science take on a quantitative form and form and frequently suggest new experiments.当科学的结论采用定量的形式表达，并频繁地启发新的实验时，就要使用数学的假设命题了。