永真蕴含式的推导过程

问题描述

精选答案

永真蕴含式（永真公式）的推导过程： 由矛盾律可知，一个命题与其否定不能同时为真，因此，如果一个命题与其否定同真，则二者必同时为假。 由排中律可知，一个命题与其否定必有一真一假，因此，如果一个命题与其否定同假，则二者必同时为真。 由同真命题必等价可知，如果一个命题与其否定同真，则两者等价。 由同假命题必等价可知，如果一个命题与其否定同假，则两者等价。 由以上四个步骤可知，如果一个命题与其否定同真或同假，则它们等价。

其他回答

慧眼看经济

(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)可以化为

((A∧B)→C))∧((C∧D)→E)∧((D∧E)→F)=>(A∧B)→F