前提と含意

　AがBの前提であるならば、BはAを含意する。
　つまり「AはBの前提」は「BはAを含意」を含意する。
　では、「BはAを含意」は「AはBの前提」を含意するか。うーん、しないような気がするけど、どうしてかなあ。