>>432 どこのどなたか知らないけど
高校生はみな大学にいくと想定してないから
述語論理は教えないみたいね

述語論理がそんなに難しいとは思わないけど
大学行かない人はもちろん、学問に興味なくて
会社員になるために大学行く人には
無用なものかもしれないわね

そういう人は会社のヒエラルキー構造を当たり前と思って
まったく反抗もせずに唯々諾々と従うだけ

哀れな人生よね