logic of proposition的用法和樣例：
例句
- The present paper investigates an abductive framework in default logic, and gives a solving abduction method in propositional default theories.
摘要研究缺省邏輯表示下的溯因框架，給出一種基于規則的命題邏輯缺省溯因診斷的求解方法。 - Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
命題變量是命題公式的基本構件板塊，用于命題邏輯和更高的邏輯中。
