(￢P)∨QがP→Qの本来の意味だと知ったのはいいが
よくわからん(;´Д`)