>>893
それは必ずしも正しくない

pを「オナニーの回数が多い」
qを「前立腺がんのリスクが低い」とする

p⇒q(オナニーの回数が多いなら、リスクは低い)
が正しいとき(ハーバード大の研究で証明済み)、自明に正しいのは対偶の
qでない⇒pでない(前立腺がんのリスクが低い人はオナニーの回数が少ない)
というのは高校で習ったよね？
(ただし今回の例は「リスクが低い」を観測する方法がないので対偶を取る意味がない)

pでない⇒qでない(オナニーの回数が少ないなら、リスクが高い)(裏)
この"裏"は必ずしも真でないから個別に証明が必要なはず。
その証明がないのにイコール(というより"⇔")では結べなく無いか？