[中學] 邏輯一問

[beckda (五十倍一百倍我都)]

想請問

若P則Q(P->Q)   與    若P蘊涵Q(P=>Q)

這兩者之間要如何解釋

可否舉個例子

書上是寫若P蘊涵Q可以具推演關係

可否解釋一下呢

感謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 124.8.81.29
推 orangecoco  :若P蘊涵Q 是什麼?
推 t0444564    :主要的區別比較像是哲學上的
→ cmlrdg      :P->Q是邏輯句子,就像P and Q.邏輯句子可被賦予真假值
→ cmlrdg      :P=>Q則是說在句子P為真時,則Q可以被"證明"為真.
→ cmlrdg      :更進一步說,->是連接詞,用來構成邏輯句子的要素之一;
→ cmlrdg      :而=>則是在語意上"真的"有蘊含關係(可以證明)
→ beckda      :感謝