最近では,推論システム関係の文献をよく参照するので,論理学関係の言葉の使い分けがシビアになってきました. 特に,無矛盾性,妥当性,健全性,完全性といった概念は,推論システムに求められる要件であるため,正確に把握しておく必要があります. 妥当性 妥当性とは,システム内で行われる推論そのものが妥当であることをいいます.妥当であるとは,登場する命題の真理値がどんなものでも推論が成立するということです. 妥当な推論と妥当でない推論の例は以下のとおりです. 妥当な推論 ((p=>q) and (q=>r)) => (p=>r) 妥当でない推論 (p or q) => q前者の場合,p, q, r の真理値の組み合わせが何であっても,推論が成立します.一方で,後者の場合は,p=True, q=False という条件で矛盾が発生します(True => False という推論が行われるため). このように