蕴涵词
是数学逻辑中的命题连接词
蕴涵词是数学逻辑中的一种命题连接词,用符号“→”或者“⊃”表示。
举例说明
如A→B(或A⊃B)即A和B的蕴涵式,读作“A蕴涵B”(或“如果A则B”),其真假关系是:A真和B假则A→B假,否则A→B真。A和B分别称为A→B的前件和后件。
参考资料
最新修订时间:2024-05-21 14:24
目录
概述
参考资料