数学问题

这是一个数学问题，答案取决于如何定义“推出的东西”.

1）若将“推出的东西”定义为有效结论，那么该结论有真有假. 例如，设0=1，则下列结论显然为假：

0=1

0*9=1*9

0=9

2）若将“推出的东西”定义为形如A→B的条件命题，并且B是A的有效结论，那么无论B真假，只要A→B不是前真后假，A→B整体上也为真，即∀x, yF(x→y)↔T(x)∧F(y)

式中F为表假谓词，T为表真谓词，上式是条件联结符真值的一阶语言表述，证明从略.

例如，虽然基于假命题0=1推出的0=9也是假命题，但由两假结合而成的0=1→0=9却是一个如假包换的真命题，即“如果0=1，则0=9”为真. 再如，“假如哲学思维都能推导出普遍规律，那么母猪都能上树”之所以为真命题，是因为作为非定量的半散文-半杂文思维的哲学思维根本不可能推导出任何普遍规律.