221—阶谓词逻辑表示的逻辑基础 连词 “非”或者“否定”。表示对其后面的命题的否定 V:“析取”。表示所连结的两个命题之间具有“或”的关系 ∧:“合取”。表示所连结的两个命题之间具有“与”的关系。 →:“条件”或“蕴含”。表示“若…则…”的语义。读作“如果P,则Q” 其中,P称为条件的前件,Q称为条件的后件。 :称为“双条件”。它表示“当且仅当”的语义。即读作“P当且仅当Q”。 例如,对命题P和Q,P4Q表示“P当且仅当Q” PQ P P∨QP∧Q Q P+Q T T F F T T TTTF TFFF F T TFFT F F T T⚫ ¬ ： “非”或者“否定” 。表示对其后面的命题的否定 ⚫ ∨ ： “析取” 。表示所连结的两个命题之间具有“或”的关系 ⚫ ∧： “合取” 。 表示所连结的两个命题之间具有“与”的关系。 ⚫ → ： “条件”或“蕴含” 。表示“若…则…”的语义。读作“如果P，则Q” ⚫ 其中，P称为条件的前件，Q称为条件的后件。 ⚫ ↔ ：称为“双条件” 。它表示“当且仅当”的语义。即读作“P当且仅当Q”。 ⚫ 例如，对命题P和Q，P↔Q表示“P当且仅当Q”， P Q ¬P P∨Q P∧Q P→Q P↔Q T T F T T T T T F F T F F F F T T T F T F F F T F F T T 13