2018-08-22から1日間の記事一覧
注意:以下において「論理式\(\psi\)の自由変数\(x\)に項\(t\)を代入する」とは、「\(\psi\)が\(x\)を自由変数として持つならば\(t\)を代入し、持たないならば何もしない」という意味であるとする。閉論理式\(\varphi\)に登場するもの以外の変数を持たない、…
注意:以下において「論理式\(\psi\)の自由変数\(x\)に項\(t\)を代入する」とは、「\(\psi\)が\(x\)を自由変数として持つならば\(t\)を代入し、持たないならば何もしない」という意味であるとする。閉論理式\(\varphi\)に登場するもの以外の変数を持たない、…