发布网友 发布时间:2022-04-23 13:26
共2个回答
热心网友 时间:2023-10-23 23:33
解:设A、B为两个命题公式,若A、B构成的等价式A<->B是重言式(恒为真),那么就称A与B是等值的,记作A<=>B。所以说当一个等价式是重言式的时候,称其前件与后件是等值的。
例如:判断┐(p∨q)与┐p∧┐q是否等值,即判断┐(p∨q)<->┐p∧┐q是否是重言式,通过真值表可发现┐(p∨q)<->┐p∧┐q的逻辑值恒为1,所以┐(p∨q)<->┐p∧┐q是重言式,即┐(p∨q)与┐p∧┐q等值。
学科内容
1.集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。
2.图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。
3.代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。
4.组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。
热心网友 时间:2023-10-23 23:33
解:设A、B为两个命题公式,若A、B构成的等价式A<->B是重言式(恒为真),那么就称A与B是等值的,记作A<=>B。所以说当一个等价式是重言式的时候,称其前件与后件是等值的。