离散数学命题公式的等价与蕴涵求助
发布网友
发布时间：2022-04-23 13:26
共1个回答
热心网友
时间：2023-10-15 15:20
蕴含两种用：
（1）逻辑关系蕴含：
【A蕴含B】：A、B都命题公式；——命题公式显没逗号；
（2）推理蕴含
【A1A2A3蕴含B】：其含义【（A1合取A2合取A3）蕴含B】；
合取（A1A2A3）构造命题公式所面式（1）式种应用
等价种用：逻辑关系；
【A等价于B】；同（1）A、B必须命题公式；
我说【（A1合取A2合取A3）等价于B】或【B等价于（A1合取A2合取A3）】能说【A1A2A3等价于B】；（A1A2A3）命题公式——仅已
（2）推理单向关系且能组命题推命题能反——定义
即使逻辑（A1A2A3）（B）等价；我能说：
【B蕴含（A1A2A3）】；
能说：【B蕴含（A1合取A2合取A3）】；
或者说：【B蕴含A1】【B蕴含A2】并且【B蕴含A3】；——（1）或（2）三应用没逗号（1）（2）形式没区别
逗号确实合取意思相同意思相同东西用未必相同数尤其比更难区蕴含（=>）条件联结词（→）
热心网友
时间：2023-10-15 15:20
蕴含两种用：
（1）逻辑关系蕴含：
【A蕴含B】：A、B都命题公式；——命题公式显没逗号；
（2）推理蕴含
【A1A2A3蕴含B】：其含义【（A1合取A2合取A3）蕴含B】；
合取（A1A2A3）构造命题公式所面式（1）式种应用
等价种用：逻辑关系；
【A等价于B】；同（1）A、B必须命题公式；
我说【（A1合取A2合取A3）等价于B】或【B等价于（A1合取A2合取A3）】能说【A1A2A3等价于B】；（A1A2A3）命题公式——仅已
（2）推理单向关系且能组命题推命题能反——定义
即使逻辑（A1A2A3）（B）等价；我能说：
【B蕴含（A1A2A3）】；
能说：【B蕴含（A1合取A2合取A3）】；
或者说：【B蕴含A1】【B蕴含A2】并且【B蕴含A3】；——（1）或（2）三应用没逗号（1）（2）形式没区别
逗号确实合取意思相同意思相同东西用未必相同数尤其比更难区蕴含（=>）条件联结词（→）
