「 東京タワーが塔ならば、鍋料理は複数存在する。」は真。
こんな奇妙な世界が記号論理。一般論として使うと目も当てられなくなる。