西安电子科技大学联结词$1.1.2软件学院若P和Q是命题，则P→Q也是命题，P称逆命题、反命题、逆反命题为前件或前提，Q称为后件或结论。将Q→P、P→-Q、-Q→P分别称为命题P→Q的逆命题、反命题和逆反命题。西安电子科技大学 软件学院 逆命题、反命 题、逆反命题 §1.1.2 联结词