エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

対称式の基本定理・証明3・3変数の場合

今回はまた別のやり方で証明してみます。例によって3変数までの場合です。基本対称式の定義をまた書いておきます。