作者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