|
|||||
|
|
| 命题演算系统S的概率模型 | |
| 引用本文： | 周健勇. 命题演算系统S的概率模型[J]. 数学的实践与认识, 2006, 36(12): 237-241 |
| 作者姓名： | 周健勇 |
| 作者单位： | 长沙大学人文系,湖南,长沙,410003 |
| 摘 要： | 概率模型P是为有效地检验命题演算系统之永真(假)函项、永真蕴涵关系;求取命题(合取、析取)范式及证明各重言式定理而特设的一种纯数学模型.其特征是,在运算中既保持概率运算的基本性质,又满足命题演算的逻辑要求,且运算关系简单(仅含算术运算+、-、×). |
| 关 键 词： | 概率模型 命题演算系统 运算 |
| 修稿时间： | 2005-01-24 |
The Probability Model for the Calculus of Proposition System S |
|
| ZHOU Jian-yong. The Probability Model for the Calculus of Proposition System S[J]. Mathematics in Practice and Theory, 2006, 36(12): 237-241 | |
| Authors: | ZHOU Jian-yong |
| Abstract: | The probability model P is a kind of special mathematic model which intents to valid examime the relation of truth-functionally truth and truth-functionally false.and valid argument the proposition conjunctive normal form and disjunctive normal form and prove all tautological theorem. |
| Keywords: | probability model calculus of proposition system calculus |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |