K の公理系
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/24 05:07 UTC 版)
K の公理系は古典命題論理の公理系に公理図式K（太字になっていることに注意）と必然化規則（necessitation）を付け加えたものである。 公理K : ◻ ( A → B ) → ( ◻ A → ◻ B ) {\displaystyle \Box (A\rightarrow B)\rightarrow (\Box A\rightarrow \Box B)} 必然化規則 : A が無仮定で証明可能ならば、 ◻ A {\displaystyle \Box A} もまた無仮定で成立する。 ここで可能性演算子は定義 ◇p=￢□￢p によって導入される。
※この「K の公理系」の解説は、「様相論理」の解説の一部です。
「K の公理系」を含む「様相論理」の記事については、「様相論理」の概要を参照ください。
ウィキペディア小見出し辞書の「K の公理系」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- K の公理系のページへのリンク
