常用的有效推理形式举例