恒真性と充足可能性 (Validity and Satisfiability)
- 恒真性，充足可能性，モデル論
- 論理式 G の中に n 個の異なる命題記号があれば，G に対して
2n個の異なる解釈がある．
- [G]I = T であれば，G は I の
もとに真であるという(モデル論)．
- [定義] (恒真, valid)
論理式 G がすべての解釈のもとで真であるとき，G は恒真(valid)であるという．
G が恒真でないとき，G は非恒真(invalid)という．
- [定義] (恒偽, inconsistent)
論理式 G がすべての解釈のもとで偽であるとき，G は恒偽
(inconsistent)，または充足不能
(unsatisfiable)であるという．
- [定義] (充足可能, satisfiable)
論理式 G が恒偽でないとき，G は非恒偽
(consistent)，もしくは充足可能(satisfiable)という．
...Return