第1章命题逻辑 (3)pq的逻辑关系是:p是q的充分条件,q是p的必要条件 在日常语言中,特别是在数学语言中,q是p的必要条件还有 许多不同的叙述方式,如:“p仅当q(仅当q,则p)” “只有q才p"、“只要p就q"、“除非q,否则非p(非p,除 非q)”等,均可符号化成p→q的形式 【例1.18】符号化下列命题: (1)只要天下雨,我就回家 (2)只有天下雨,我才回家 (3)除非天下雨,否则我不回家。 (4)仅当天下雨,我才回家 解设p:天下雨。q:我回家。则(1)符号化为p (2)、(3)、(4)均符号化为q→p(或等价形式: p>-q)第1章 命题逻辑 （3）p→q的逻辑关系是：p是q的充分条件，q是p的必要条件。 在日常语言中，特别是在数学语言中，q是p的必要条件还有 许多不同的叙述方式，如：“ p仅当q（仅当q，则p）” 、 “只有q才p” 、 “只要p就q” 、 “除非q，否则非p（非p，除 非q）”等，均可符号化成p→q的形式。 【例1.1.8】 符号化下列命题： （1）只要天下雨，我就回家。 （2）只有天下雨，我才回家。 （3）除非天下雨，否则我不回家。 （4）仅当天下雨，我才回家。 解 设p：天下雨。q：我回家。则（1）符号化为p→q。 （2）、（3）、（4）均符号化为q→p（或等价形式：  →  p q)