>>209
>ID:DBa9oALT
こういうのは?
(P∧Q→人)→(P→¬Q)
背理法だけど