prepositional logic 中文意思是什麼
prepositional logic
解釋
介詞邏輯2- prepositional : adj. 【語法】前置詞的，介詞的。 a prepositional phrase 前置詞短語。adv. -ly
- logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
-
Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system
本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。 -
Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis. the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science, which are important in theory and have wide applications in a lot of real - world problems
命題邏輯可滿足性（ sat ）問題和有限論域一階邏輯模型搜索（ folms ）問題是計算機理論科學中的經典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應用。 -
The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic
第二部分：在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a （ a b ） ，建立了一種新的代數系統rl ，並進一步研究了rl代數類的性質；以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ，得到了一系列定理，同時研究了邏輯系統rl的（弱）完備性 -
This paper came from the national nature science foundation and beijing nature science foundation. the subject is the research of the relation between generalized propositional logic ( gpl ) and other prepositional logic. the paper shows the universality of generalized propositional logic
本文的研究結合國家自然科學基金「經驗知識推理理論」 （ 60273087 ）和北京市自然科學基金「不精確推理理論研究」 （ 4032009 ）進行，主要是研究命題泛邏輯學對其他命題邏輯的包容性，即根據泛邏輯學的生成規則，可以直接生成各種命題邏輯。
分享友人