计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2008年
12期
105-109
,共5页
相干逻辑%自动推理%演绎%可读证明%证明树
相榦邏輯%自動推理%縯繹%可讀證明%證明樹
상간라집%자동추리%연역%가독증명%증명수
本文提出了相干命题逻辑系统R的一种演绎生成算法--试探法.该算法采用后向推理法,依据推理规则将待证命题逐步分解成子命题并构造一棵证明树,对系统R中的定理证明取得了较好的效果.
本文提齣瞭相榦命題邏輯繫統R的一種縯繹生成算法--試探法.該算法採用後嚮推理法,依據推理規則將待證命題逐步分解成子命題併構造一棵證明樹,對繫統R中的定理證明取得瞭較好的效果.
본문제출료상간명제라집계통R적일충연역생성산법--시탐법.해산법채용후향추리법,의거추리규칙장대증명제축보분해성자명제병구조일과증명수,대계통R중적정리증명취득료교호적효과.
