>>421
前半は「偽とは限らない」なら「偽である」
と言ってるようにとれるが・・・？

後半、今は命題論理のお話であることに注意
pは固定して考えなきゃダメだよ
「pは素数である」と「pは素数でない」は必ず一方が真
pが素数なら「pが素数でないならば、2p＋1は素数でない」は真
pが素数でないなら「pが素数ならば、2p＋1は素数である」は真

pを(ある範囲内で)自由に動かせる変数として考えたいなら
述語論理とかで考えなきゃいかん