总结命题逻辑、一阶逻辑(谓词逻辑)、模态逻辑与时态逻辑的语法与语义。

2025-04-05 03:05:45
推荐回答(1个)
回答(1):

狭义上逻辑既指思维的规律,也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律,包括思维规律和客观规律。逻辑包括形式逻辑与辩证逻辑,形式逻辑包括归纳逻辑与演绎逻辑,辩证逻辑包括矛盾逻辑与对称逻辑。对称逻辑是人的整体思维(包括抽象思维与具象思维)的逻辑。[