computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ PLP の述語 集合 (述語の項を表す)とブール代数 (PLPの結果の成功または失敗を表す)に対して を(項の)述語と呼びます。 これを拡張して可算集合 (変数を表す)に対して としたものも述語と呼びます。 有限個の述語の集合を とおきます。 の各元 に対して という形のものの全体(各 は の元)を とおきます。 PLP の論理式 PLP の論理式全体の集合 を定義していきます。 の元は の元となります。 と が の元ならば 、 、 は の元となります。 が の元で が に現れる自由変数ならば 、 は の元となります。 以上を満たす最小のものを と定義します。 「 に現れる自由変数」をまだ定義… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F01%2F18%2F001221" title="論理プログラミング(4) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20T Hatena Blog https://hatena.blog 2020-01-18 00:12:21 rich https://computeralgebra.hatenablog.com/entry/2020/01/18/001221 1.0 100%