要证明一个逻辑公式为永真式（有效式），只需证明不管p、q是真是假，它都为真即可。依据：（1）联言判断的真值特征：两个联言支都真时，判断为真，其余情况均为假。（2）充分条件假言判断的真值特征：只有前件真后件假时，充分条件假言判断才为假，其余情况均为真。列出真值表如答案所示。可见，最后一列的真值不全为1，故该逻辑式为无效式。
