まぁ束縛記号で命題の意味が変わるのが理解できないのだから森の次の数学は数Aで終わっている。
当然束縛で意味の変わる命題は扱えないし

解がある。
解が2個以上ある。
常に成立する。

などの束縛に関する議論は一切使えない。
全部同じ意味になるらしいからね。
誰かが中学レベルって言ってたけど言い得て妙www