「日立の樹」の歌詞を読んで思いついた質問です。

　その前提ですと、逆の「互いに異なる外見の花を咲かせる樹は、互いに異なる種に属する」が真であるとは限らないため、「ある樹が、かつて世界中の誰もが見たことのない種に属すならば、その樹は、かつて世界中の誰もが見たことのない外見の花を咲かせる」の逆である「ある樹が、かつて世界中の誰もが見たことのない外見の花を咲かせるならば、その樹は、かつて世界中の誰もが見たことのない種に属する」が成り立たず、必要十分にはならないと思います。
　
　そう考えると、「樹が属する種と花の外見とは一対一対応する」ことが前提として必要になるかと思います。
　
　
　
　と思うんだけど、あまり自信がないですｗ

・Ａ「互いに異なる種に属する樹は、互いに異なる外見の花を咲かせる」法則のある世界において
　Ｂ「ある樹が、かつて世界中の誰もが見たことのない種に属すならば、
　Ｃ　その樹は、かつて世界中の誰もが見たことのない外見の花を咲かせる」
が常に正しいかということで考えていきます。
　
　まず、前提として全ての樹が花を咲かせるかどうか。現実には三倍体、寄生樹、胞子や根で増えるなどで花が咲かない植物があります。http://log.engeisoudan.com/lng/201207/12070059.html
　でもＡ「互いに異なる種に属する樹は、互いに異なる外見の花を咲かせる」法則の中に「樹には花が必ず咲く」という定義が内包されているものとしましょう。（必要条件の欠けを一つ埋めました）
　同様に「外見のない花」が現実に存在します。イチジクなど内部花や花と思えない外見、顕微鏡サイズで肉眼で見えない、花粉の水中拡散のみなど。これもＡに「樹の花には外見が必ずある」を内包させてしまいましょう。だいぶ強引ですが。
　
あとはちょっとした違和感をつきつめるだけなのですが。
人の身でみるとＢの「誰」「見る」の定義がはっきりしないのでなんとはなしにイライラします。Ａにあった「未発見種」という学術的な定義ではなく「誰」「見る」という未定義語が本来の意図とちがってうけとれるのでいやらしいのです。
たとえば全知全能たる創造主は「誰も」に入るか。
ＮＡＳＡの人工衛星の地上写真の１ピクセルの緑色を目に止めたことのあるＮＡＳＡ係員は「誰も」に入るか。
本当は「誰か」がすでに「見た」のではないか。特に、Ａがどのようにして証明され得たかを無意識で想定してしまうと、Ａが真として成り立つ世界ではＢはそもそも成り立たないのではないか。「特徴を認識」「新種認定」にいたらずとも、です。であればＢに該当する樹などもとより存在しないのではないか。Ｂを満たす樹は、不可知論上の存在になってしまうのでその花も不可知論により不定となります。
　
さらに冬の葉を落とした木などはどの種でも似たように見え、誤認が多い。
ＢでＡのとおり新種を認定するのに「見る」でいいのか。
「誰＝人間」が「見る」ことで種を特定できているという仮定でいいのか。
本当に「見る」ことで種を特定できるとしていいのか。
本当は遺伝子などで特定しなくてはＡの「互いに異なる種に属する樹」を満たしているとはいえないのではないか。新種が認定された場合は当然誰も見たことがないとはいえなくなっている。
仮に「誰も」が「発見者」に限定すれば「個人的に新種と認定し」
Ａにより「個人的に見たことのない外見の花」を期待できるといえそうですが、
「誰も」に創造主という人格を含めただけでＢが空集合化し発散します。
あ、遺伝子改変で予定の花を咲かすためだけに樹をつくった場合なんかどうでしょうね。
未知の樹勢をもつ樹から既知の花が咲きます。（今まで見たことがないほど病弱で未知の病におかされ、斑点だらけの見慣れぬ樹勢から目的の青いバラだけはなんとか咲いたバラの樹とかありそう）
さらに人間の認識の特徴としてパターン認識でありよほどの訓練をつんでも無限大に区別することができないので「異なる外見だが、見たことがある印象をうける」ということもありそうです。「誰」がコンピューターではないという前提だとおもいますので。
　
結局Ａまでは正確ですがＢ「ある樹が～属すならば」やｃ「見たことのない」への移行でどうにもふやけて不純物が入り込んでしまう気がします。Ｂ→Ｃを無理矢理成り立たせるための前提としてのＡはかなりよくフォローしてくれているのですが、よく考えるとＢに致命的な一撃「じゃあどうやってＡがわかったの」を加えているのかも。
　
　
というわけで前提法則でおぎなっても本体の命題に「誰も」「見る」が入っていることがかなりのネックになっていて常に真とはいえないようにおもいます。（空集合ならなんとでもいえますな！）
なお歌のほうは前提として「気になる木」という言葉がでてきます。見て、特徴があったから過去情報を検索することによって「今歌い手が見ているこの特徴ある木は、歌い手に代表されるグループがそれ以前に見たことがない」との結論に至った上で、歌い手グループにとっての「見たこともない花」を期待しようという歌なので発見、過去検索、確認、期待という流れをコンテクストに積極的に含ませようとしているので非常にわかりやすいとおもいます。