20/09/21 14:05:42.82 lAYOWlOk.net
こっちが正しいな。
恒真式
P→(Q→P)
マウント猿ならば（犯罪予備軍ならばマウント猿である）
（￢P→P）→Q)
（マウント猿でないならマウント猿）ならば犯罪予備軍である
20/09/21 14:05:42.82 lAYOWlOk.net
こっちが正しいな。
恒真式
P→(Q→P)
マウント猿ならば（犯罪予備軍ならばマウント猿である）
（￢P→P）→Q)
（マウント猿でないならマウント猿）ならば犯罪予備軍である
20/09/21 14:05:42.82 lAYOWlOk.net
こっちが正しいな。
恒真式
P→(Q→P)
マウント猿ならば（犯罪予備軍ならばマウント猿である）
（￢P→P）→Q)
（マウント猿でないならマウント猿）ならば犯罪予備軍である