今回は ・言語，構造，割り当てに対して，その言語の項，論理式の値が定まること そして ・言語に対して，その言語の valid な論理式の全体が定まること を述べます．以下，言語を固定します． （定義２－１）構造は空でない集合Ｄ（domainと呼びます）と次…

私が案出した Galois 群の計算方法を PARI の開発メンバーの方にお伝えしたところ，それに基づいた nfsplitting さらに galoisinit の改良版を作成してくださいました． 試用方法は https://pari.math.u-bordeaux.fr/cgi-bin/gitweb.cgi?p=pari.git;a=tree;h…

ちょっとした経緯があり，数理論理（古典一階論理）の基本事項を少し書きます．今回は ・言語に対して，その言語の項，論理式の全体が定まること を述べます． （定義１－１）言語は，次のような互いに区別できる記号の集合です． ｎ項関数記号 （各ｎは非負…