| 命题演算系统S的概率模型 |
| |
| 引用本文： | 周健勇.命题演算系统S的概率模型[J].数学的实践与认识,2006,36(12):237-241. |
| |
| 作者姓名： | 周健勇 |
| |
| 作者单位： | 长沙大学人文系,湖南,长沙,410003 |
| |
| 摘 要： | 概率模型P是为有效地检验命题演算系统之永真(假)函项、永真蕴涵关系;求取命题(合取、析取)范式及证明各重言式定理而特设的一种纯数学模型.其特征是,在运算中既保持概率运算的基本性质,又满足命题演算的逻辑要求,且运算关系简单(仅含算术运算+、-、×).
|
| 关 键 词： | 概率模型 命题演算系统 运算 |
| 修稿时间： | 2005年1月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 万方数据 等数据库收录！ |
|
