Re: 請問各位大大
※ 引述《rudypann (最近喜歡桑田佳佑的歌)》之銘言：
: LOGIC真不代表前提是真
邏輯上必然為真指的是在所有的可能狀況中為真
他問的可能是說邏輯上必然為真吧？
如果他是問邏輯上所說的「真」是什麼意思？
那就要另外回答了
: 蘊含是由於前提是結論的充份條件而言
: 而結論是前提的必要條件
: LOGIC蘊含有兩種
: 第一是前提是結論之充份條件而言
: P-->Q
: 第二是兩箭頭的"若且唯若"式
: P<-->Q
: 第二種有一種樣態叫套套LOGIC
: 此種比如:A是A(這是簡單的)
......
蘊含有實質蘊含與邏輯蘊含不同
邏輯蘊含指的是從前提entail出結論
結論和前提具有entailment relation
實質蘊含所說的才是一般的條件句
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 140.112.197.39
討論串 (同標題文章)