根据P→Q真假值取法的定义可以看出,若P为假,不论Q是否为真,则P→Q为真.p都是假的了怎么还可以推出命题是真都是合式公式：P∧Q，(P)∨Q，P∨(P)，(P∧P)→(P(P∨R))

Question

根据P→Q真假值取法的定义可以看出,若P为假,不论Q是否为真,则P→Q为真.
p都是假的了怎么还可以推出命题是真
都是合式公式：P∧Q，(P)∨Q，P∨(P)，(P∧P)→(P(P∨R))

Answer 1

P→Q等价于┑P∨Q
所以P为假 ┑P就为真,所以┑P∨Q就永为真
Q,P∧Q,(P)∨Q,P∨(P)都是合式公式
但是(P∧P)→(P(P∨R)) 就不知道是不是你写错了