1、2022-10-42022-10-4常用逻辑用语常用逻辑用语命题及命题及其关系其关系全称量词全称量词存在量词存在量词充分条件充分条件必要条件必要条件充要条件充要条件简单的逻辑联结简单的逻辑联结词词:且、或、非且、或、非2022-10-4注注:(1):(1)“互为互为”的的;(2)(2)原原命题与其命题与其逆否逆否命题同真同假命题同真同假.(3)(3)逆逆命题与命题与否否命题命题同真同假同真同假.原命题原命题若若p,则则q逆否命题逆否命题若若 q,则则 p否命题否命题若若 p,则则 q逆命题逆命题若若q,则则p互逆互逆互互 否否互互 否否互逆互逆互为逆否同真同假2022-10-4“或或”“且且”
2、“非非”BxAxxBA或|ABx xAxB且AxUxxA且2022-10-4特别注意对一些词语的否定词语词语否定否定词语词语否定否定等于等于不等于不等于任意的任意的某个某个大于大于不大于不大于所有的所有的某些某些小于小于不小于不小于且且或或是是不是不是都是都是不都是不都是至多有一个至多有一个至少有两个至少有两个至多有至多有n个个 至少有至少有(n+1)个个至少有一个至少有一个一个都没有一个都没有至少有至少有n个个至多有至多有(n-1)个个2022-10-4命题的否定与否命题是两个完全不同的概念 1任何命题均有否定，无论是真命题还是假命题；而否命题仅针对命题“若P则q”提出来的。2命题的否定（非）是原命题的矛盾命题，两者的真假性必然是一真一假，一假一真；而否命题与原命题可能是同真同假，也可能是一真一假。3 原命题“若P则q”的形式，它的非命题“若p，则q”；而它的否命题为“若p，则q”，既否定条件又否定结论。2022-10-42022-10-42022-10-42022-10-42022-10-42022-10-42022-10-4若x2=1，则x不一定等于110/4/20222022-10-4
