Question

离散数学问题，求大神

通过构造一个真值表，证明对于命题p和q[（p→q）∧﹁q]→﹁p是一个重言式。用这个重言式给出一个论点的例子

Answer 1

p：角1角2为对顶角；q：角1=角2。
该重言式命点可以如下表达：对顶角都相等，角1角2不相等，所以角1角2并非是对顶角。