Computer Science ›› 2010, Vol. 37 ›› Issue (9): 194-197.
Previous Articles Next Articles
LIU Hong-lan,GAO Qing-sh,YANG Bing-ru
Online:
Published:
Abstract: The well formed formulas(wffs) in classical formal system of propositional calculus(CPC) arc only some formal symbols,whose meanings are given by a interpretation. Both logic algebra and set algebra are Boolean algebra,and are interpretations for CPC. A set algebra is a set semantics for CPC, in which set operations are the interpretation for connectives, set functions arc the interpretation for wffs, the set inclusion is the interpretation for logical implication,and the set equality= is the interpretation for logical equivalence. Standard probabilistic logic is based on a standard probabilistic space, a proposition describes a random event which is a set, the event domain in a probabilistic space is a set algebra, probabilistic logic is j ust the practical application of the set semantics for CPC. We can perform event calculus instead of probability calculus in CPC. CPC is applicable to probabilistic propositional calculus completely.
Key words: CPC, Probabilistic propositional logic, Probabilistic space, Set algebra, Homomorphism
LIU Hong-lan,GAO Qing-sh,YANG Bing-ru. Set Algebra is Semantic Interpretation for Classical Formal System of Propositional Calculus[J].Computer Science, 2010, 37(9): 194-197.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2010/V37/I9/194
Cited