>>>243でハッタリかましてきたけど
じゃあ聞くけどさあ
>「数学の証明とは、命題に論理値代入して
>　ブール代数計算するもんだ！」
の具体例をひとつでいいから示して
つべこべ言わずにまずは示して