m0_73896409的博客

原创 离散数学及其应用--命题逻辑

命题q→p称为p→q的逆命题，而p→q的逆否命题是命题┑q→┑p。5.令p和q为命题，条件语句p→q是命题"如果p,则q"。6.令p和q为命题，双条件语句p↔q是命题"p当且仅当q"。3.令p和q为命题，p和q的析取即命题"p或q"，记作pVq，当p和q均为假时，合取命题pVq为假，否则为真。2.令p和q为命题，p、q的合取即命题“p并且q”,记作p∧q，当p和q都是真时，p∧q命题为真，否则为假。4.令p和q为命题，p和q的异或(记作p⊕q)是这样一个命题，当p和q恰好只有一个为真时命题为真，否则为假。