[离散数学]1.1命题逻辑
命题:是一个陈述句(陈述事实的的语句),或真或假,但不能既真又假。
复合命题:由已知命题用逻辑运算符组合而来。
定义一:令p为命题,则p的否定记做┐p,指“不是p所指的情况”。
定义二:令p、q为命题,p、q的合取即命题“p并且q”,记做“p∧q”(与运算),只有p、q同时为真时,p∧q才真(同真才真,一假则假)。
定义三:令p、q为命题,p、q的析取即命题“p或q”,记做“p∨q”(或运算)。只有p、q皆为假时,p∨q才为假(一真即真,同假才假)。
定义四:令p、q为命题,p、q的异或即命题“p异或q”,记做“p⊕q”。p、q只有一个为真时p⊕q才为真,否则为假。(相同为假)
定义五:令p、q为命题,条件语句“p→q”是命题“如果p,则q”,只有当p真而q假时,p→q才为假,否则为真。 条件语句也称为蕴含。
ps:q→p称作p→q的逆命题。┐q→┐p称作p→q的逆否命题。┐p→┐q称作p→q的反命题.
定义六: 令p、q为命题,双条件语句“p↔ q”是命题“p当且仅当q”,当p、q有相同的真值时,则为真,否则为假。(相同为真,不同为假) 。(充分必要)
逻辑运算符的优先级:┐(1) ∧(2)∨(3) →(4) ↔(5)