腐女子であるというのをP(x)、ホモが嫌いというのをQ(x)とする
「ホモが嫌いな腐女子なんていません！」　を真なる命題ととらえたとき、
P(x)⇒¬Q(x) は真と言えるか？　また、その逆　¬Q(x)⇒P(x) は真か？