如何证明，任意命题都能找到等价的析取/合取范式
书上写的，把命题的真值表画出来，然后根据这个真值表写出一个析取/合取范式，那么就和原命题是等价命题了。

问题是，我觉得这里隐含了一个条件，就是"对任意的真值表，可以构造出一个析取/合取范式"，这个隐含条件本身又怎么证明呢? 有点循环论证的意思了。

这个似乎并不能用数学归纳法证明啊。


[解决办法]
隐含条件是前提，应该不用证明，只有在认为前提正确的基础上，才能证明后面的逻辑。