命题逻辑

Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.

包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。

We show that there is a polynomial over the rational number field Q corresponding to a given porpositional formula in a given many-valued logic.

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应。

;Comparative;statics;is;that;mathematical;technique;by;which;an;economic;model;is;investigated;to;determine;if;refutable;hypotheses;are;forthcoming.;By;the;process;the;theories;in;economics;is;logically;simulated;for;the;testing;of;the;theories.;All;of;which;construct;the;paradigm;of;economics.;With;this;paradigm,;it;makes;out;by;the;comparative;statics;of;Shaanxi;province;developing;strategy—one;line,;two;zones—that;the;necessary;testing;condition;of;the;strategy's;theory;holding;is;that;the;government;investments;have;to;make;the;central;zones;increase;faster;than;the;other;areas;do.;Otherwise,;it;will;not;be;a;good;strategy.;Say,;if;the;north;of;Shaanxi;increase;faster;than;central;zones;do,;then;it;can;verify;the;strategy;is;not;a;good;one.

学研究的范式——比较静态分析，是一种技术，通过这一技术，理论可以被考察研究，以确定理论的可驳斥假说，它是对进行的一种符合的仿真。具体讲，比较静态分析是通过逻辑运算，模拟理论的可驳斥命题即检验条件是什么，从而为理论的验证提供方法。用经济学的研究范式对陕西省"一线两带"的比较静态分析显示，此战略成立的必要条件之一是：随着战略的实施即政府对极化地区的投入，其产出增加应该比其它地区产出增加大，否则这一战略就不成立。也就是说，如果陕北或陕南经济发展更快，集中投资于西安等中心城市，并不是更好的战略。

N this paper, a new method for theorem proving of PTL based on constructing semantic refutation tree is presented.

本文通过对近10年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。

But it is remarkable that a thinker as rigorous as Frege appealed to the degree of self-evidence as the criterion of a logical proposition.

但是一位像弗雷格这样的严谨的思想家竟会援引自明的程度作为逻辑命题的标准，那是很奇怪的。

Aristotle not only invented syllogistic reasoning but also gave such a thorough analysis of the subject-predicate relation and all syllogistic forms that this method, now called deductive logic, has virtually remained unchanged to this day.

亚里斯多德不仅发明了三段论推理的方法，还极为彻底地研究了这种命题-推断模式，掌握了三段论推理过程的所有形式。直到今天，这种方法依然维持着最初的状况，我们现在称其为演绎逻辑。

Atom propositions are the basic unit of symbolic logic.

原子命题是数理逻辑研究的基本单位。

A fully-developed or advanced scientific theory is a well-organized logic deductive system which is comprised of scientific axioms, deductive propositions or scientific laws, and scientific facts.

成熟的或高级的科学理论是由科学公理、导出命题或科学定律、科学事实三大块组成的严密的逻辑演绎体系。

Ripe and advanced scientific theory is a well-organized logic deductive system. It consists of scientific axioms (basic concepts and basic hypotheses), deductive propersitions, and scientific facts.

老练的或高级的科学表面是由科学正义、导出命题或科学定律、科学真相三大块组成的缜密的逻辑演绎体系。

I want, on the one hand, to explain what the general propositional form is by analyzing "logical constants"; on the other hand, to reveal the tautological character of the logical proposition.

逻辑形式是命题摹绘实在而必须与实在共同具有的东西，也就是实在的形式。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。