2008-04-11 一階述語論理 学 一階述語論理の論理式の自由変項の定義って意外に細かく考え出すと面倒くさいということが、昨日からの考察でわかりました。 要は、のような(可読性の悪い)論理式をどうするかが問題。変項の付け替えを行わないといけないのです。