［(Ｐならば、ほぼ確実にＱである) ならば、(Ｑでなければ、ほぼ確実にＰではない)］が成立する例だけあげても
しょうがない。　問題は、成立しない場合があるか否かなのだから。