《复言命题及其推理.docx》由会员分享，可在线阅读，更多相关《复言命题及其推理.docx（3页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、联言命题：和、不但而且、虽然但是、不是而是等表示并列关系、递进关系、转折关系词语，也可以用逗号、句号、分号表示。pqp并且q真真真真假假假真假假假假（一假即假，全真才真）联言推理：联言命题为真，推出其中一命题为真。 全部肢命题为真，推出联言命题为真。选言命题：相容选言命题：或者、或者或者、可能也可能、也许也许pqp或者q真真真真假真假真真假假假（一真即真，全假才假）不相容选言命题：或者或者，二者不得兼容、不是就是。pq要么p，要么q真真真真假真假真真假假假选言推理：相容选言推理： p或者q，非p，所以q p或者q，非q，所以p不相容选言推理：要么p，要么q，p，所以非q 要么p，要么q，q，所
2、以非p要么p，要么q，非p，所以q要么p，要么q，非p，所以q假言命题：充分条件假言命题：如果那么、只要就、一就、若则、若就、因为所以、必须等pq如果p，那么q真真真真假假假真真假假真如果A，那么B：有A必有B，无A必无B；因而有B未必有A，无B必无A。必要条件假言命题：只有才、不不、除非否则不、没有就没有等。pq只有p，才q真真真真假真假真假假假真只有C，才D：有C未必有D，无C必无D；因而有D必有C，无D未必无C。充分必要条件假言命题：当且仅当、只要且只有才、若则，且若不则不、当且仅当则等pqP当且仅当q真真真真假假假真假假假真E当且仅当F：有E必有F，无E必无F；因而有F必有E，无F必无
3、E。假言推理：充分条件假言推理：如果p，那么q，p，所以q 如果p，那么q，非q，所以非p肯定前件就要肯定后件；否定前件不能否定后件； 否定后件就要否定前件；肯定后件不能肯定前件。必要条件假言推理：只有p，才q，非p，所以非q 只有p，才q，q，所以p肯定前件不能肯定后件，否定后件不能否定前件；否定前件就要否定后件，肯定后件就要肯定前件。充分必要条件假言推理：p当且仅当q，非p，所以非qp当且仅当q，p，所以qp当且仅当q，q，所以pp当且仅当q，非q，所以p肯定前件就要肯定后件；肯定后件就要肯定前件。 否定前件就要否定后件；否定后件就要否定前件。负命题：并非、不是、不能认为、不能说、没有、是假、这话不对等。并非所有S都是P=有些S不是P 并非所有S都不是P=有些S是P 并非有些S是P=所有S都不是P 并非有些S不是P=所有S都是P 并非某个S是P=某个S不是P 并非某个S不是P=某个S是P3 / 3