修正:

M_SHIRAISHI wrote:
>
> 次はどうか?
>
> [(Pならば、ほぼ確実にQである) ならば、(Qでなければ、ほぼ確実に
> Pではない)]



1) [(Pならば、ほぼ確実にQである) ならば、(Qでなければ、
  ほぼ確実に〔 Pではない〕)]

は成立するか否か?


2) [(Pならば、ほぼ確実にQである) ならば、(Qでなければ、
  〔 ほぼ確実にP〕ではない)]

は成立するか否か?