「すべてのカラスは黒い」と
「黒くないものはカラスでない」を合わせれば
トートロジーになる

トートロジーは無意味であるがゆえに必ず正しい

初歩なんですけど