问答题

命题公式中,重言式一定是可满足式.

答案: 在逻辑学中,命题公式(或逻辑公式)是指使用逻辑运算符(如“非”、“和”、“或”、“如果...那么...”等)和变量(代表...
微信扫码免费搜题