『ファンデルモンドの畳み込み定理と第1引数の畳み込み』を更新しました。

『量化子(全称命題・存在命題)の分配』を更新しました。

『量化子(全称命題・存在命題)の命題関数と命題変数への分配』を更新しました。

『反交換子を含む基本的性質(反交換関係)』を更新しました。

『3角関数3つでの積和公式・和積公式』を更新しました。