形式逻辑中的命题

Question

命题：如果我是动物，那么我是人；
这个命题是真的，还是假的？
“我是动物”---真；“我是人”---真；
根据假言命题的真值表，前件真，后件真，则整个假言命题为真；所以上面的命题为真；

但我用生活上思维怎么感觉这句话像假的？是动物的，不一定是人呀；但根据逻辑表却认为命题是真的；
有点矛盾啊；有谁能来指点下吗？谢谢
`

Answer 1

这个命题本身是真是假
和这个命题的形式是否正确没关系
这题的形式是对的

（我是动物→我是人）为真，当且仅当（我不是动物）或者（我是动物和我是人同时真）
所以（如果我是动物，那么我是人）这个命题本身是真的
你要分清楚，在形式逻辑里面“我是人”这个部件本身是否真不重要
重要的是部件之间的关系

追问

谢谢；
还有一点很奇怪；
1（我是人→我是动物）--真；并且感觉前件和后件有关系，即有依赖关系，逻辑上说得通；
逆命题：2（我是动物→我是人）--真；但是这个命题感觉前件和后件没有依赖关系；成了蕴含怪论了；

一个前后件有逻辑依赖关系的真命题（上面1），其逆命题（上面2）如果也是真的，但可能却是前后件没有依赖关系了；为啥会这样呢？

追答

你在看一次吧，这句话对是有条件的
“如果我是人，则我是动物”，这是因为隐藏了“人属于动物”这个条件；
“如果我是动物，则我是人”，这句话是对的，那是因为我默认了“你是人”这个条件；
如果你不是人，
好比你是一张桌子，你说“如果我是动物，则我是人”，那这句话也是对的。
因为一个蕴含关系对，可以有两种可能
要么前件假，要么后件真

Answer 2

形式逻辑故名思意,只重形式,不管内容,所以你学这部分的时候不用关心命题的具体内容,只用知道每部分的真假就行了
换句话说,形式逻辑只考察命题和推理的形式是否正确,而你觉得有矛盾的地方已经到语义的深度,这超出了形式逻辑的范围

Answer 3

如果我中了500万，我给你200万。
这个和你说的有点类似。

还有，你这个是文字游戏。如果你是一只狗，那么前真后假，命题就是假的。你只是举了一个例子就说这个命题是真的。但是，要想这个命题真，必须在所有的场合都真。