搜索
逻辑推理公式1.判断（P）与其负判（￢P）断是矛盾关系，矛盾关系一真一假；2.P∧Q表示，P与Q两个判断同时存在；3.P∨Q表示，P与Q两个判断至少存在一个，可以存在两个；PQP∨Q真真真真假真假真真假假假4.不相容选言“要么P要么Q”表示，P和Q两个判断中成立且只成立一个（一真一假）；PQ要么P要么Q真真假真假真假真真假假假5.德摩根定律¬(P∧Q)=¬P∨¬Q¬(P∨Q)=¬P∧¬Q6.选言假言置换公式P∨Q=￢P→Q=￢Q→P7.假言判断如果P那么Q：P→Q前推后只有P才Q：￢P→￢Q=Q→P后推前PQP→Q真真真真假假假真真假假真即：￢（P→Q）=P∧￢Q充分必要条件假言判断逻辑形式：P当且仅当Q。（如果而且只有……才，如果……那么……并且只有……才）PQP当且仅当Q真真真真假假假真假假假真8.假言推理肯前肯后，否后否前除非P否则Q：￢P→QP当且仅当Q需同时满足：P→Q（￢Q→￢P）、Q→P（￢P→￢Q）9.连锁推理如果P，那么Q；如果Q，那么R。所以，如果P，那么R。10.性质判断所有是（一切、凡是、任何、每一个、皆）有的SP（有些、许多、大多数、少量、存在某个、这些）这个不是量项主项联项谓项性质判断的矛盾关系：所有变有的，是变不是11.逻辑方阵图1.对角为矛盾关系。（所有变有的，是变不是）2.所有的S都是P与所有的S都不是P是上反对关系两个“所有”至少一假，可以同假；有的S不是P与有的S都是P是下反对关系两个“有的”至少一真，可以同真。3.从属关系①所有的S都是P→这个S是P→有的S是P②所有S都不是P→这个S不是P→有的S不是P12.换质推理的逻辑形式：（双重否定等于肯定）①所有S是P换质得：所有S不是非P②所有S不是P换质得：所有S是非P③有的S是P换质得：有的S不是非P④有的S不是P换质得：有的S是非P13.换位必须遵守的规则：不改变前提的质，只改变主、谓项的位置。所有S是P可换位得：有的P是S所有S不是P可换位得：所有P不是S有的S是P可换位得：有的P是S有的S不是P不能换位得：有的P不是S13.模态判断对角为矛盾关系，上推下，下不能推上；上两个为上反对关系，至少一假，可以同假；下两个为下反对关系，至少一真，可以同真。模态变形推理的口诀：1看“不”（并非、不是等）的位置，“不”后面的：所有改有的，有的改所有，可能改必然，必然改可能，是改非，非改是；“不”前面的内容不改动。②若“不”后面有“都”，则“不”前面的“所有”需要改成“有的”