20/09/21 13:32:31.63 lAYOWlOk.net
>>691
恒真式
P→(Q→P)
マウント猿ならば（犯罪予備軍ならばマウント猿である）
￢P→(P→Q)
マウント猿でないなら（マウント猿であれば犯罪予備軍である）
20/09/21 13:32:31.63 lAYOWlOk.net
>>691
恒真式
P→(Q→P)
マウント猿ならば（犯罪予備軍ならばマウント猿である）
￢P→(P→Q)
マウント猿でないなら（マウント猿であれば犯罪予備軍である）
20/09/21 13:32:31.63 lAYOWlOk.net
>>691
恒真式
P→(Q→P)
マウント猿ならば（犯罪予備軍ならばマウント猿である）
￢P→(P→Q)
マウント猿でないなら（マウント猿であれば犯罪予備軍である）