propositional 中文意思是什麼
propositional
解釋
建議的-
Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic
2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上，同時證明了演算法的正確性。 -
Metric structures on boolean algebras and an application to propositional logic
代數上的度量結構及其在命題邏輯中的應用 -
Based on paper [ 1 ] and [ 2 ], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
摘要在文[ 1 ]和文[ 2 ]的基礎上，給出了命題邏輯中任一命題公式的主析取範式和主合取範式的自動生成演算法，並實現了多個命題公式主範式的同時形式化輸出。 -
Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。 -
Truth degree of intuitionistic fuzzy propositional logic formula
直覺模糊命題邏輯公式的真度 -
Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ), f ( will ), h ( ever always ) and g ( will always ) into lp ( x ), put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance, gave detailed semantic interpretation and syntax structure, and discussed some properties of it, then proved soundness theorem and consistence theorem. furthermore, studied ( a, t ) - resolution principle which is related to time, gave some rules of computing tense resolvent, and put forward the method of tense resolution
第二部分：關于格值時態命題邏輯系統及其歸結方法的研究此部分的主要工作是在格值命題邏輯系統lp （ x ）中引進時態運算元e （曾經） 、 f （將會）及其對偶運算元h （曾經總是） 、 g （將會總是） ，提出了以時軸為語境的格值時態命題邏輯系統ltp （ x ） ，並給出其具體的語義解釋和語法結構，並討論了它的一些性質，證明了該系統的可靠性和協調性。 -
“ on - job ” training has the advantage of ensuring that activity ( repeated actions is a key factor in the apprentices ' knowledge construction ) and participation in everyday work activities “ forces ” learners to access higher order procedural and propositional knowledge
在職培訓也有很多優勢，受訓工人重復一些操作對他們自身的知識構成幫助很大，而且在每天工作過程中感受工作的壓力和強度有助於他們達到更高的工作水平。 -
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems. they are fit for dealing with incomplete information
中介邏輯命題演算系統mp ~ m和中介邏輯謂詞演算系統mf ~ m是一種適用於處理不完全信息的新的邏輯系統。 -
The algebra and generalized tautology in limited disturbing fuzzy propositional logic
有限擾動模糊邏輯代數及其廣義重言式 -
Secondly, in the theory of gl with the four rules of producing such as generator rule, generating radix rule, rule of basis space changing, developing order rule, gpl can produce all kinds of basic operation model with other logic such as classical propositional logic, three - value logic, fuzzy logic and broad sense fuzzy logic. finally, it proved that a material logic can be produce by gpl. and it shows the universality gpl can contain most logic
眾所周知，邏輯學家正是利用這些定義證明了該邏輯的全部推理規則，建立起了整個命題邏輯體系；然後我們直接利用命題泛邏輯學的生成規則，通過對廣義相關系數h的不同取值也同樣生成了這些運算模型，也就是說直接生成了這個命題邏輯；這個生成過程還揭示了各種運算模型的物理意義和使用條件，也就是說揭示了各種命題邏輯的物理意義和使用條件。 -
Propositional logic - based method of liquid rocket engine fault diagnosis
液體火箭發動機故障診斷的命題邏輯方法 -
For efficient reasons, the lemmas are represented in propositional formulas and a sat solver is used to perform the necessary reasoning
提出了一個新的直接搜索演算法，它使用了在sat問題中行之有效的沖突分析和學習機制。 -
And the relation between proposition and proposition is not considered. but in generalized propositional logic the relation of proposition is discussed
這些邏輯雖然突破了經典邏輯的二值性，但是沒有考慮隨之而來的命題之間的相關性。 -
Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ), the author studied semantic and syntax properties of generalized lattice - valued modal logic system, and probed into a - resolution principle. the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part, we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ), set up a new lattice - valued modal propositional logic system lmp ( x ), studied its semantic properties and syntax structure, proved the soundness and consistence of this system. based on these work, discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ), gave out the rules of computing a - direct resolvent and a - self resolvent, and proposed detailed resolution method
本文在格值命題邏輯系統lp （ x ）和格值一階邏輯系統lf （ x ）的基礎上，討論了廣義格值模態邏輯系統的語義及語法性質，並對其-歸結原理做了初步探討，主要在下述三個方面取得了研究成果：第一部分：關于格值模態命題邏輯系統及其歸結方法的研究在此部分，把模態運算元n （必然）和p （可能）引入格值命題邏輯系統lp （ x ） ，建立了新的格值模態命題邏輯系統lmp （ x ） ，並研究了它的語義刻畫及語法結構，證明了在此語義解釋和語法框架下的系統仍是-可靠的和協調的；在此基礎上，進一步研究了基於格值模態命題邏輯系統lmp （ x ）的-歸結原理，給出了計算-直接歸結式和-自歸結式的規則，並總結出具體的歸結方法。 -
Several years ago, professor ju shi - er advanced that reasoning could proceed based on an open world, proposing an assumption of a 3 - valued propositional logic based on an open world
鞠實兒教授在研究開放世界的邏輯過程中給出了一個開放世界的命題邏輯。 -
The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system. this system is fit for dealing with incomplete information. it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統mpm和中介邏輯謂詞演算系統mfm是在改造原有的中介邏輯系統的基礎上提出的一種新的邏輯系統，該邏輯系統特別適用於處理不完全信息，可以作為處理不完全信息的理論基礎。 -
Theory of truth degrees in lukasiewicz n - valued propositional logic
值命題邏輯中命題的真度理論 -
Theory of truth degree in lukasiewicz 3 - valued propositional loggic
三值命題邏輯中命題的真度理論 -
Probability truth degree of intuitionistic fuzzy propositional logic system
直覺模糊命題邏輯公式的概率真度 -
Distribution of propositional truth degree in some 3 - value propositional logic systems
幾個三值命題邏輯系統中命題真度的分佈
分享友人