| 意味 |
Provability logicとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 証明可能性論理 (英: Provability logic) は、ボックス（または"必然性"）演算子が'〜は証明可能である'と解釈されるような様相論理である。
|
| 意味 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
※モジュールの非表示は、から変更可能
「Provability logic」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|