总的来说，维普的检索方法国内数据库最科学简洁和科学的，它分为，快速检索，传统检索，高级检索，期刊导航等检索方式，使用方法很简单的，我是维普驻西安办事处，祝您使用愉快。
巧记推理定律
去百度文库，查看完整内容>
内容来自用户:维普网
维普资讯
巧记推理定律
冯玉明
重庆三峡学院数学与计算机科学学院
404000
常简单了。例题I’构造下列推理的证明前提：PvqP呻，s_fqo结论：q分析：从前提分析得：要证q从t人手
。，
1
，
，
r
，
一
f
，
需
一
．
。
证明
(1)(2)(3)
(
==>
一
．
tt
s
一
—
S
4
)
一
s一，．
前提引入前提引入(1)(2)拒取式，前提引入
．
^
(A÷÷C)等价三段论B)(8)((A(AVc))==>(BVD)
—
A
(C
—
D
)
构造性
二难
的结论)第七得到条不需要记忆技巧2将ABCD分别给出解释也就是指定ABCD分别代表某个具体的命题例如假设A：他在家B：他打老婆
……
……
或的结论(由
，
，
下面来看如何记忆这八条：j1分别理解成且将AV1’_非如果那么推出
．
(5)(6)(7)(8)(9)(1
论
1
-1
．
_1
r
，．
P
一
一
_1
．
P
(3)(4)假言推理(5)置换前提引入(6)(7)拒取式
前提引入(9)置换(10)(8)析取三段
PVq
q
，
，
，
(10)
，
VP
…
…
…
…
…
…
)
q
，
。
。
．
，
，
，
，
，
，
，
。
，
，
，
C
：
3
他老婆哭D：他认错在2的假设下分别给出以上
文章转载自网络，作者观点不代表本网站立场，如需处理请联系客服
