批踢踢實業坊
›
看板
logic
關於我們
聯絡資訊
返回看板
作者
weijing (刑天)
看板
Logic
標題
Re: [問題] 請問條件句
時間
Mon Jan 19 20:58:33 2004
※ 引述《ckmagic (飄緲雲跡孤鴻影)》之銘言:
: 應該是可以吧,
: (p->q)‧p -> q
: 只是(p->q)、(p) /∴ (q) 的對應語句而已
嗯....好像離題,不過在下有個地方有點困惑: 所謂的「對應語句」是專有名詞嗎? 還是純粹對於條件句單一命題與一個論證之間的語意模型相同的個人指稱? -- ~刑天舞干戚 猛志固常在~ --
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.35.8.193