忘记在末尾加个疑问词了（）

一个推理的结论为真，结构有效(有效的推理形式)，它的前提不保真。
举个例子：
第一种情况：“如果天气下雨，那么地面会有积水”。
这时不能从结论“地面有积水”，就必然得出前提“天气下雨了”；只能从“地面没有积水”来推出“天气没有下雨”。这个叫“否定后件式”。
第二种情况：“当且仅当天气下雨，地面会有积水”。这种情况无论前推后（天气下雨，地面会有积水），还是后推前（地面有积水，推出天气下雨）都保真。

【一个推理的结论为真，结构有效，那么它的前提保真】?
一个推理的结论为真，结构有效，那么它的前提或真或假。
一个推理的结论为假，结构有效，那么它的前提必假。

一个推理，它的前提都为真，且结构有效，那么结论一定为真，毋庸置疑。
但是反过来，结论为真，结构有效，那么前提一定为真吗？只需要一个反例，就能证明其为假。
举个例子，三段论：所有M都是P，所有S都是M→所有S都是P。这个三段论格式无疑是正确的。然后结论:所有人都是动物，毫无疑问也是正确的。那么，前提“所有物质都是动物”“所有人都是物质”都对吗？显然不都对。如果把“物质”换成“气体”，甚至两个前提都不对，但结构和结论确实对的。

他说“牛会飞”，你说“他说的是错的”。那么你说的这个结论是正确的，也就是说你说的为“真”。但“牛会飞”这个前提确是“假”的

如果天下雨，那么地会湿。
如果地会湿，那么天下雨。
结构有效的意思就是说，他们确实存在这种关系。显然，地湿的时候有可能不是天下雨造成的，所以这应该是必要不充分条件。