二、典型例题讲解
　　例1．命题公式翻译
　　命题公式的表示关键在于公式的逻辑含义与语句的逻辑含义保持一致。
　　（1）如果明天不下雨，我们就去公园。
　　设命题 P 表示“明天下雨”，命题 Q 表示“我们就去公园”，命题公式可以表示成：┐P→Q。
　　（2）我去旅游，仅当我有时间。
　　这里“我有时间”是“我去旅游”的必要条件，“我去旅游”是“我有时间”的充分条件。
　　设命题 P 表示“我去旅游”，命题 Q 表示“我有时间”，则原语句可以表示成命题公式 P→Q 。