「ホーア論理とホーアオートマトン 8/n ： ローヴェア、ゴグエン、ホーア、メイヤー // 造花は花か？」にて： レッドヘリングを口頭で説明するために、僕はパンダの話をしたり（昔は「パンダ＝レッサーパンダ」だった、とか）するのですが、今回は「花と造花…