T の公理系
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/24 05:07 UTC 版)
K の公理系に以下の公理図式T「必然的に真ならば、真である」を加えた体系は T と呼ばれる。 公理T : ◻ A → A {\displaystyle \Box A\rightarrow A} T においては、K では証明可能でなかった P→◇P などが証明可能となる。
※この「T の公理系」の解説は、「様相論理」の解説の一部です。
「T の公理系」を含む「様相論理」の記事については、「様相論理」の概要を参照ください。
ウィキペディア小見出し辞書の「T の公理系」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- T の公理系のページへのリンク
