几种常见的逻辑运算（二）一、定义五：条件语句（蕴含） 设有命题p和命题q，复合命题p→q表示“如果p，那么q”。当p为真（T）而q为假（F）时，它的真值为假（F），其他情况都为真（T）。 在条件语句中，我们称p命题为假设（前提或前件），q命题为结论（后件）。 例1： 如果明天是晴天，那么我和家人会去植物园烧烤。 设命题p为：...

几种常见的逻辑运算一、逻辑运算符 由一个或多个命题组合而成的命题叫复合命题，而用来组合命题的符号，我们称之为逻辑运算符或连接词。常用的有┐、∧、∨、⊕、→、↔等。二、定义1：否定（not） 设有一个命题p，则p的否定记作 ┐p （或记作），表示取p命题的反面（或叫除了p以外的情况）。 例1：设命题p为：小张的笔记本电脑至少有2G内存。 ...

第一章 基础：逻辑和证明逻辑（logic）是一个外来词语，指的是思维的规律和规则。狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。逻辑包括形式逻辑与辩证逻辑，形式逻辑包括归纳逻辑与演绎逻辑，辩证逻辑包括矛盾逻辑与对称逻辑。对称逻辑是人的整体思维（包括抽象思维与具象思维）的逻辑。从狭义来讲，逻辑就是指形式逻辑或抽象逻辑，是指人的...