高校す学レベルの「集合と論理」で表現できる古典論理（二値命題論理）は実質含意が最高に非日常で日常言語における論理とはいい難いと思うのですが。

主張はもっともです。使うなとは言ってません。 まあ私も些か揚げ足取り気味ですから少し黙りますよ。