| 目标分析法在命题推演式中的应用 |
| |
| 引用本文： | 周健勇.目标分析法在命题推演式中的应用[J].长沙理工大学学报(社会科学版),2002,17(2):22-24,123. |
| |
| 作者姓名： | 周健勇 |
| |
| 作者单位： | 长沙大学人文系 湖南长沙410003 |
| |
| 摘 要： | 目标分析法是命题逻辑自然推演法的一种形式 ,它采取设定目标语句来引导推理过程直至完成全部论证的结构。它的基本理念就是所谓“由果溯因”。
|
| 关 键 词： | 目标分析 自然推演式 推导 |
A Goal Analysis For Constructing Derivations in Calculus of Proposition |
| |
| ZHOU Jian,yong.A Goal Analysis For Constructing Derivations in Calculus of Proposition[J].Journal of Changsha University of Science & Technology,2002,17(2):22-24,123. |
| |
| Authors: | ZHOU Jian yong |
| |
| Abstract: | An advantage of a natural deduction system is that we can show in a series by very natural steps that one sentence follows other sentences. Goal analysis is a process of working backward from the sentence we wish ultimately to derive in the primary assumptions. |
| |
| Keywords: | goal analysis natural deduction system deduction |
| 本文献已被 CNKI 维普 等数据库收录！ |
