Question

证明：p→（q→p）等价于 非p→（p→非q）.希望能将过程写的详细一点,

Answer 1

p→（q→p）＜＝＞ ┐p∨( ┐q∨p)＜＝＞p∨(┐p∨┐q)＜＝＞p∨(p→┐q)＜＝＞┐p→(p→┐q)

那么简单都不会做,建议多看下书,把基础公式弄明白