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