【摘要】 概率模型P是为有效地检验命题演算系统之永真(假)函项、永真蕴涵关系;求取命题(合取、析取)范式及证明各重言式定理而特设的一种纯数学模型.其特征是,在运算中既保持概率运算的基本性质,又满足命题演算的逻辑要求,且运算关系简单(仅含算术运算+、-、×).更多还原

【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.更多还原