[ 问答题 ] 图表题

用真值表来验证((p→q)∧p)├q是否为有效式。