西安电子科技大学S1.2.2命题公式的翻译软件学院家家茶茶家【例题】给定如下命题变元，将下列命题语句翻译成命题公式。P：天下雨，Q：我去学校。（1）或者天下雨，或者我去学校。PVQ（2）天下雨，我也没去学校。PΛ-Q-P-Q（3）若天不下雨，则我去学校。（4）当且仅当天下雨，我不去学校。Q→一P
西安电子科技大学 软件学院 【例题】给定如下命题变元，将下列命题语句翻译成命题公式。 （2）天下雨，我也没去学校。 （3）若天不下雨，则我去学校。 （4）当且仅当天下雨，我不去学校。 P：天下雨，Q：我去学校。 P∧¬Q ¬ P → Q Q ↔ ¬ P （1）或者天下雨，或者我去学校。 P ∨ Q §1.2.2 命题公式的翻译
西安电子科技大学摩S1.2.2命题公式的翻译软件学院【例题】给定如下命题变元，将下列命题语句翻译成命题公式，P：天下雨，Q：我去学校。（5）天下雨，是我不去学校的充分条件。P--Q（6）天下雨，是我不去学校的必要条件。-Q→PQ--P（7）我去学校，仅当天不下雨。P--Q（8）只要天下雨，我就不去学校。。-Q-P（9）只有天下雨，我才不去学校
西安电子科技大学 软件学院 【例题】给定如下命题变元，将下列命题语句翻译成命题公式。 （7）我去学校，仅当天不下雨。 P：天下雨，Q：我去学校。 Q →¬ P （8）只要天下雨，我就不去学校。 （9）只有天下雨，我才不去学校。 P →¬ Q ¬ Q →P （5）天下雨，是我不去学校的充分条件。 P →¬ Q （6）天下雨，是我不去学校的必要条件。 ¬ Q → P §1.2.2 命题公式的翻译