條件命題

在條件命題若p則q的真值表中，p=F,q=T,那麼若p則q爲T。這個這怎麼都沒想明白。

條件命題若p則q的真值表以下：
1.p=T,q=T；若p則q爲T
2.p=T,q=F；若p則q爲F
3.p=F,q=F；若p則q爲T
4.p=F,q=T；若p則q爲T
主要解釋 3和4：
3.p=F,q=F；
p（x）：x不是大象；
q（x）：x不是動物；
x是大象。
條件命題若p則q顯然是真的。雖然這句話用天然語言描述有些奇怪，即若是大象不是大象，則大象也不是動物。但做爲總體來看，這個條件命題「若p則q」爲真。
相似地爲了更好的理解這一點我打個通俗易懂的例子
p：我有女朋友；
q：1+1=3；
單獨看，p、q都是假的，即p=F,q=F；由於我沒女朋友，1+1也不等於3；
但這個條件命題也是真的，即若我有女朋友，則1+1=3；如今能理解這個條件命題總體來看錶達爲真是什麼意思了吧？

這就是條件命題做爲總體是真的，雖然單獨看簡單命題都是假的。條件語句做爲一個數學概念不依賴於假設和結果之間的因果關係；即便事實上兩個徹底無關並且不存在因果聯繫的命題，也能夠經過
聯結詞聯繫在一塊兒造成一個新命題，這個新命題可能按照天然語言理解起來是毫無心義的，好比前面提到的，若大象不是大象，則大象也不是動物。但倒是能夠在邏輯上判斷爲真假的。

如今來理解前面提到的問題，這個問題在網上也有不少人提問； 在Discrete Mathematics and Its Applications，7E 這本教材中給了一個很敷衍的解釋
它是這麼陳述的：若是條件命題的結論是真的，那它就老是成立的（是真的），這時假設部分的真值可有可無。
我不是很滿意。那麼該怎麼理解呢？來看下面的例子
4.p=F,q=T；
一樣拿上面那個通俗易懂的例子解釋。
p：我有女朋友；
q：1+1=2；
由於我沒女朋友，1+1卻等於2；因此單獨看兩個簡單命題，p=F,q=T；
但這個條件命題仍然是真的，即「若我有女朋友，那1+1=2」爲真，這句話做爲天然語言聽起來有些彆扭，可是實際上卻很符合邏輯。
那就是不管我有沒有女朋友（不管p爲真仍是爲假），1+1老是等於2的，前面的假設部分的真假不會影響這個命題是真。

綜合3.4，我發先一旦假設爲假，則不管結論是真仍是假，條件命題總爲真。
相似於若你認爲太陽繞着地球轉，那你說什麼都是對的！這真的是真邏輯啊!!!

P.S.

1.p=T,q=T； p（x）：x是大象； q（x）：x是動物； x是大象。 顯然這個例子中，若p則q爲T，即若x是大象，則x是動物,這個條件命題爲真； 2.p=T,q=F； p（x）：x是大象； q（x）：x不是動物； x是大象。 即若x是大象，則x不是動物,這個條件命題顯然爲假；