ある動物園において、 「ライオンがいるならトラもゾウもいない」ならば「トラもしくはゾウがいるならライオンはいない」は「論理的に」正しいですが、「ライオンがいるならトラもゾウもいない」ならば「ライオンがいないならばトラかゾウがいる」は「論理的に」正しくはありません。しかし、一見すると後者の推論も「正しい」と言ってしまいたくなるようなものです。実際問題、ライオンがいない動物園にトラかゾウのがいることはあっても良さそうなものです。このような例を考えると、「論理的に正しい」や「論理的に間違っている」ということはどのようなことを意味しているのでしょうか？