>>398
せっかく例を説明していただいたのに、申し訳ないです。
よく分かりません。

> Trueはforall b.bでないので

前者の関数も b について forall なのに何故？　と疑問に思ってしまいます。
(b だけではないのですが)

forall は全称量化で、全ての〜について、という意味ですよね。
後者の関数で、全ての〜について、と言っているのは a も b も（c も） だと思うのですが、
なぜ a に対する「全ての〜について」の「全て」の中には True が含まれていて、
b に対する「全ての〜について」の「全て」の中には True が含まれないのでしょうか。