用真值表来验证（p∨q）├（q→p）是否为有效式。
参考答案：
由上述真值表知，（┓q∨p）├（p→q）是无效式。
患者，男性，60岁。腹痛、呕吐、停止排气排便。查体：腹胀。肠鸣音亢进，白细胞12×109L，血清钾3.2mmol/L，血清钠136mmol/L，血清氯99mmol/L。
该患者在纠正电解质紊乱时要保证（）。
A.尿量<5ml/h
B.尿量>5ml/h
C.尿量>10ml/h
D.尿量>20ml/h
E.尿量>40ml/h
女性，15岁，主诉活动后胸闷、气短3年，偶有胸痛及晕厥。右心导管检查示右心室与肺动脉收缩期压力阶差为3kPa（22.5mmHg）。该患者的临床表现中，下列哪项不符合（）。
A.胸骨左缘第2肋间扪及收缩期震颤
B.肺动脉瓣区听到2~3级粗糙的喷射性收缩期杂音
C.心电图示电轴右偏，右室肥大
D.X线示左心室扩大，肺门血管阴影浓密
E.超声心动M型示肺动脉瓣波的a凹加深
由上述真值表知，（┓q∨p）├（p→q）是无效式。
由上述真值表知，（┓q∨p）├（p→q）是无效式。