作者kevin0195 (终点前突然跌倒)
看板Logic
标题Re: [问题] 请问条件句
时间Sat Dec 27 19:48:35 2003
※ 引述《ckmagic (飘缈云迹孤鸿影)》之铭言：
: ※ 引述《KAZAMA (习武之人戒之在斗)》之铭言：
: : 看了两位高人的文章
: : 以下是在下这几天思考的疑惑:
: : 有一论证:
: : 1.p->q
: : 2.p
: : 结论:q
: : 很明显1,2是前提,q是结论
: : 若我们将以上的论证写成条件句:
: : (p->q)‧p->q
: : 那麽这个条件句,我们是不是也可以说:q是以(p->q)‧p为前提呢?
: : 如有错误的地方,还望前辈们导正我的观念~
: 应该是可以吧，
: (p->q)‧p -> q
: 只是(p->q)、(p) /∴ (q) 的对应语句而已
: (p->q)跟(p)都是这个论证的
: 「其中一个前提」
: 若你说「另外一个论证」
: (p) /∴ (q)的对应语句 p->q，
: 那麽这个论证的q是「只」以p为前提没错。
: 请注意两个论证并不一样，
: 而之前的那个论证中的p->q，
: 对於这个论证来说只是一个语句
: 不能说q以p为前提。
: 但是如果对於第二个论证来说，
: p->q是他的对应语句，
: 如果你说这是一个论证，
: 那麽我们可以说q以p为前提。
可以用归谬法吗
p->q = ~q->~p
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.230.17.65