命题与简单逻辑关系简介.pptVIP

充分条件与必要条件 p:x1 q:x0 p:下雨了 q:地面湿了 对于两个相对独立的命题p和q，如果我们以命题p作为已知条件，从p出发能够证明命题q是正确的，我们就说命题p是命题q的充分条件，而命题q是命题p的必要条件。 · 充分必要条件 p:两三角形三边相等 q:两三角形全等 对于两个相对独立的命题p和q，如果p能推导出q，同时q也能推导出p，我们把p叫做是q的充分必要条件，同理，q也是p的充分必要条件。用符号表示: 充分而不必要条件 对于两个相对独立的命题p和q，如果p能推导出q，但是q不能推导出p，我们把p叫做是q的充分而不必要条件，把q叫做是p的必要而不充分条件。 充分条件、必要条件、充要条件的判断 定义法 若p q，但q p，则p是q的充分而不必要件； 若q p，但p q，则p是q的必要而不充分件； 若p q且q p，则p是q的充要条件； 若p q且q p，则p是q的既不充分也不必要条件。 集合法 首先建立与p，q相应的集合， 即p：A＝{x|p(x)}；q：B＝{x|q(x)}． 若A B，则p是q的充分条件；q是p的必要条件; 若A B，则p是q的充分而不必要条件；q是p的必要而不充分条件； 若A＝B，则p是q的充要条件； 若A B，B A，则p是q的既不充分也不必要条件．