条件命题

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

转载于:https://my.oschina.net/u/3264179/blog/838747