理想逻辑知识点总结.docVIP

理想逻辑知识点总结

理想逻辑是一种形式逻辑，它研究的是理想化的推理和论证形式。理想逻辑通常假设逻辑系统是完美的，没有任何缺陷或漏洞。在理想逻辑中，推理过程是严格的、无歧义的，并且总是能够得出正确的结论。以下是一些理想逻辑的知识点总结：

1.命题逻辑：

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

-逻辑联结词：逻辑联结词用于连接命题，常见的有“与”（∧）、“或”（∨）、“非”（?）、“如果...那么...”（→）、“当且仅当”（?）。

-真值表：真值表用于表示命题在不同真值组合下的结果。

-重言式：重言式是指在任何情况下都为真的命题形式。

2.谓词逻辑：

-谓词：谓词是用来描述命题中主语的性质或关系的符号。

-量词：量词用于表示命题中主语的范围，常见的有全称量词（?）和存在量词（?）。

-谓词公式：谓词公式是由谓词、量词、变量和逻辑联结词组成的表达式。

3.推理规则：

-演绎推理：演绎推理是从一般到特殊的推理过程，前提为真，结论必然为真。

-归纳推理：归纳推理是从特殊到一般的推理过程，前提为真，结论可能为真。

-ModusPonens（肯定前件式）：如果P则Q，P，所以Q。

-ModusTollens（否定后件式）：如果P则Q，非Q，所以非P。

-HypotheticalSyll