Question

逻辑题目，真值表法判断类型

Answer 1

不管p、q的取值，整个式子恒为真，是重言式。

解析：

设p为真。（q∧-q）恒为假，那么”p→（q∧-q）“为假，那么“-p”为假。整个式子为蕴含式，前件假时，式子恒为真。

设p为假。（q∧-q）恒为假，那么”p→（q∧-q）“为真，那么“-p”为真。整个式子为蕴含式，前件真而后件也为真，所以式子横为真。

综合上述，不管p、q的取值，整个式子恒为真，是重言式。

表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。

真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 (表达式可以是论证；就是说，表达式的合取，它的每个结合项(conjunct)都是最后要做的结论的一个前提。)

Answer 2

看样子应该考完了，我来回答一下吧。
设p为真。（q∧-q）恒为假，那么”p→（q∧-q）“为假，那么“-p”为假。整个式子为蕴含式，前件假时，式子恒为真。
设p为假。（q∧-q）恒为假，那么”p→（q∧-q）“为真，那么“-p”为真。整个式子为蕴含式，前件真而后件也为真，所以式子横为真。
综合上述，不管p、q的取值，整个式子恒为真，是重言式。
满意请采纳，谢谢。