Question

离散数学命题公式的等价与蕴涵求助

证明：(P→Q)(Q→R)  (P→R)证：(P→Q)(Q→R) → (P→R)为永真式画红线那几步怎么做的

Answer 1

简单说吧概念问题已

蕴含两种用：
（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）形式没区别

逗号确实合取意思相同意思相同东西用未必相同数尤其比更难区蕴含（=>）条件联结词（→）