选修三推理知识点.docVIP

选修三推理知识点

模块一：命题逻辑

1.1命题的基本概念

-命题：能够判断真假的陈述句。

-非命题：不能判断真假的陈述句，如疑问句、祈使句、感叹句。

-简单命题：不可再分解的命题。

-复合命题：由简单命题通过逻辑联结词构成的命题。

1.2逻辑联结词

-否定（?）：?P表示P的否定。

-合取（∧）：P∧Q表示P和Q同时为真。

-析取（∨）：P∨Q表示P和Q至少有一个为真。

-蕴涵（→）：P→Q表示如果P为真，则Q为真。

-等价（?）：P?Q表示P和Q同时为真或同时为假。

1.3命题公式与真值表

-命题公式：由命题变元和逻辑联结词构成的符号串。

-真值表：通过列出所有可能的真值组合，展示命题公式的真值情况。

1.4命题逻辑等价式

-双否定律：?(?P)?P。

-结合律：(P∧Q)∧R?P∧(Q∧R)；(P∨Q)∨R?P∨(Q∨R)。

-交换律：P∧Q?Q∧P；P∨Q?Q∨P。

-分配律：P∧(Q∨R)?(P∧Q)∨(P∧R)；P∨(Q∧R)?(P∨Q)∧(P∨R)。

-德摩根律：?(P∧Q)??P∨?Q；?(P∨Q)??P∧?Q。