健全性と完全性 - 発声練習健全性と完全性の説明 ある特徴・性質cを満たす出力を生成するために提案・構築された手法Mがある。Mが健全（sound）であるとは、Mのいかなる出力oが目的とする特徴・性質cを必ず満たしていることを言う。Mが完全（complete）であるとは、検討している世界において、特徴・性質cを満たすすべての事柄を集めた集合をScとしたとき、Mの出力を集めた集合SmとScが等しくなることを言う。 概念の利用例：アンチウィルスソフトウェア アンチウィルスソフトウェアは少なくとも健全でなければならない、完全であるならば申し分ない。 アンチウィルスソフトウェアとは、インストールされているマシンに対して保存されるファイル、あるいは、マシン上で起動されるプログラムがウィルスソフトウェアであるかどうかをチェックし、ウィルスソフトウェアであるならば、それをマシンの利用者に通知し、マシン上で起動されることがないようにす
