P⇒Q, ¬P から Q が導きだせると思っているのか?