条件命题

在条件命题若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不是动物,这个条件命题显然为假；