解答しておきながら、気になったことがあるんだけど
命題Ｐ「a^2+b^2=c^2⇒aは素数」って命題は偽なわけじゃん？
a^2+b^2=c^2を満たす、素数でないaがあるわけだし。
したがって命題Ｑ「c=b+1」の内容に関係なく
Ｐ⇒Ｑは真、Ｑ⇒Ｐは偽となってＰはＱであるたの十分条件
…とはならないのだろうか？
いやなんなそうだけど、どう解釈すればいいだろう？

ちなみに私が最初想定していた回答は
「a^2+b^2=c^2⇒aは素数」⇒「c=b+1」
は真であって、理由は
a^2+b^2=c^2のとき
a^2=(c+b)(c-b)なので
c-b=1でないとa^2およびaは素数とならないので
a^2+b^2=c^2⇒aは素数
がいえる為には少なくともc=b+1でなくてはならないため。

そもそも「a^2+b^2=c^2のときaは素数ならばc=b+1」ってどういう意味なんだろう？
∀b∀c((∀a（a^2+b^2=c^2⇒aは素数）)⇒(c=b+1))　？
(∀a∀b∀c(a^2+b^2=c^2⇒aは素数)）⇒(c=b+1)　？