问答题 证明（A→B）→A╞B逻辑蕴含式或推理不成立。

问答题 证明AB╞A∧B逻辑蕴含式或推理不成立。

问答题 用三种不同方法证明A→（B→C）（A→B）→（A→C）逻辑等价式和逻辑蕴涵式。