述語論理における解釈のことを構造(structure)と呼ぶことがある。 論理式Aは任意の構造Iと任意の付値Jの元で、 となるとき、恒真であるという。 ある構造Iとある付値Jのもとで真になるとき、Aは充足可能(satisfiable)という。 ∃I,J.A = T ¬∀I,J.¬A = T 論理…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。