在数理逻辑中，我们可以根据给定的命题公式写出它的真值表，那么我们?

在数理逻辑中，我们可以根据给定的命题公式写出它的真值表，那么我们是否可以根据真值表写出对应的其中一个公式呢(当然这样的公式并非一个)在数理逻辑中，我们可以根据给定的命题公式写出它的真值表，那么我们是否可以根据真值表写出对应的其中一个公式呢(当然这样的公式并非一个)：这就是在几何中由公理推出定?