馬鹿にでもわかるようにこの論理がどういうことかを教えて
小野田博一さんの「論理パズル(講談社)」にある問題です。
クリュシッポスは「AならばB」と「『AかつBではない』ではない」が論理的に同値であることを示したが、あなたは示せるか。
というものです。解説もよく分からないので、藁にもすがる思いです。
クリュシッポスは「AならばB」と「『AかつBではない』ではない」が論理的に同値であることを示したが、あなたは示せるか。
というものです。解説もよく分からないので、藁にもすがる思いです。
分かりづらいかも
aが1,bが0や10万など、『aが1のときにbが3ではない』要素を全部消して残るのは、
aが1で、bが3である部分のみ。
AならばB = (AかつBではない)ではない部分