propositional logic

常見(jiàn)例句

In the knowledge implication propositional logic system which build on this strategy, 1.
在根據(jù)這種策略而建立的知識(shí)蘊(yùn)涵命題邏輯系統(tǒng)中：1。
The third is a summary of the standard one-place normative propositional logic and analysis of some theorem of it from the science of law.
第三部分主要是對(duì)標(biāo)準(zhǔn)的二元規(guī)范命題邏輯做一個(gè)概述，再?gòu)姆煽茖W(xué)的角度對(duì)其中若干定理做一些評(píng)論。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional Logic, discusses its logic algebra and the properties of its generalized tautology.
首先以蘊(yùn)涵算子為基礎(chǔ)從有限擾動(dòng)模糊命題邏輯出發(fā)，討論其邏輯代數(shù)及廣義重言式的性質(zhì)。