0215132人目の素数さん垢版 | 大砲2017/12/26(火) 19:09:19.73ID:84+rbTu3 >>209 >ID:DBa9oALT こういうのは? (P∧Q→人)→(P→¬Q) 背理法だけど