minodaiskiのプロフィール

整数を元とする二つの集合Ａ、Ｂについて、 　Ｂ、Ｃ、Ｄがgiven Ａ∩Ｂ＝Ｃ 　Ａ∪Ｂ＝Ｄ のときＡが一意に決まる、のはベン図を描いてみれば一目瞭然、の気がしますが、正しいでしょうか。 証明は、どのようにつければよいでしょうか。

「AであるならばBである」という論理の形式と、 「Bである。なぜならばAだから」という論理の形式は一致しているのでしょうか。

pならばqの真理表において、p偽、q真のときなぜpならばqは真なんですか？ 全く想像できません・・・。

「AであるならばBである」という論理の形式と、 「Bである。なぜならばAだから」という論理の形式は一致しているのでしょうか。

私が言ったのではないのですが、以下の考え（命題）は正しいでしょうか？間違っているでしょうか？ 『はるか昔、してはいけない事（禁止）という事は存在しなかったのだから、本来は全ての行動はしてもよかった事になる。』 間違っていると思う場合もその理由も一緒にお願いします。 ご意見をお聞かせください。