Question

符号逻辑的书中，命题的证明可以用已经在离散数学中学过的推理规则和命题等价公式吗？

本人先学的离散数学中的数理逻辑部分，再看符号逻辑的书时，发现全是文字叙述的证明，我就用在离散数学中学的来证明。
我用谓词逻辑的语言来书写重言蕴含的定义，请问这样可以吗？因为我特别喜欢用这种符号语言来描述定义

Answer 1

应该可以，但是要注意文字叙述的定理，一般都暗藏了一些隐性条件，写蕴含式时，要特别注意，严谨一点。