馬鹿にでもわかるようにこの論理がどういうことかを教えて
小野田博一さんの「論理パズル(講談社)」にある問題です。
クリュシッポスは「AならばB」と「『AかつBではない』ではない」が論理的に同値であることを示したが、あなたは示せるか。
というものです。解説もよく分からないので、藁にもすがる思いです。
クリュシッポスは「AならばB」と「『AかつBではない』ではない」が論理的に同値であることを示したが、あなたは示せるか。
というものです。解説もよく分からないので、藁にもすがる思いです。
ふたつの条件をルールとして考える
Aを人間、Bを哺乳類とすると
「人間ならば哺乳類である」と「『人間かつ哺乳類でないもの』は存在しない」は同じ意味です