論理学の対偶は信頼性があるのかね?(´・ω・`)