您要查找的是不是：
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用謂詞邏輯法舉例分析PLC梯形圖的編製過程,並分析其優缺點。
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它們對應一元謂詞邏輯，而布爾代數對應於命題邏輯，而 多元代數 對應於一階邏輯。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值謂詞邏輯中引入了一階語言的一類特殊解釋，該類解釋中的解釋域取為非空有限集。
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 給出了一種應用於決策支持系統，基於一階謂詞邏輯的模型表示方法，並分析了此種表示方法的實用性和推理機制.
- To study modern Chinese and logic knowledge is the fundamental approach to decrease grammatical errors. 認真學習現代漢語語法和邏輯知識是減少語病的根本途徑。
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基於謂詞邏輯的一階語言表示該元元模型,使不同元模型成為該形式語言的不同解釋。
- As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. 正如其全稱所示：如此設計，旨在強調其與謂語邏輯原理的密切關係和及其堅實的基礎地位。
- Some typical wrong sentences in medical papers are analyzed andcorrected by using modern Chinese grammar, rhetoric and logic knowledge. 運用現代漢語語法、辭和邏輯知識對醫學論文中一些典型病句進行分類辨析，並加以修改。
- Students of law have donbts about the practicality of the required course law logrcs,not knowing how to use logic knowledge to solve practical probl ems. 法律邏輯學作為法律專業學生必修的課程,學生學習這門學科感到實用性不大,不知道如何運用邏輯知識來解決司法實踐中的法律問題。
- Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic. 分析了現有可信移動平台安全引導過程安全漏洞，提出了改進的安全引導過程，並通過謂詞邏輯對改進的引導過程進行了正確性驗證。
- Method of resolution under predicate logic 謂詞邏輯描述下的歸結推理方法
- First-order Fuzzy Predicate Logic 一階模糊謂詞邏輯
- Immunology,an important required course for medical students,poses difficulties to teaching because of its abstract and logical knowledge. 免疫學作為醫學生一門重要的必修課,由於其知識抽象且邏輯性強,給教學帶來了難度。
- Knowledge without common sense counts for little. 光有學問而無常識，則這種學問無甚價值。
- The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基於一階邏輯相關概念的內涵，結合恰當的反例，探析了一階邏輯推理規則成立的條件。
- Can we predicate of a dog that it has a soul? 關於狗，我們能斷定它有靈魂嗎？
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一種基於一階謂詞邏輯的模型表示方法
- At this point your logic is at fault. 在這一點上你的推理是錯誤的。
- Their common ground is that they regard formal Logic as predicative Logic, and attempt to lay a foundation for it with a pre-predicative, philosophical Logic. 他們的共同點在於:把形式邏輯看作陳述邏輯;並試圖用前謂詞判斷的哲學邏輯學來為它奠基.
- Later he also gained in aesthetic knowledge. 後來他的美學知識也增加了。
