释
模态逻辑
mó tài luó jí · ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ
修撰于 2026-06-30 10:25:31
音义
| 拼音 | mó tài luó jí |
|---|---|
| 字母 | mo tai luo ji |
| 首字母 | mtlj |
| 注音 | ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄇㄛ ㄊㄞ ㄌㄨㄛ ㄐㄧ |
广训
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。
mó tài luó jí · ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ
修撰于 2026-06-30 10:25:31
| 拼音 | mó tài luó jí |
|---|---|
| 字母 | mo tai luo ji |
| 首字母 | mtlj |
| 注音 | ㄇㄛˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄇㄛ ㄊㄞ ㄌㄨㄛ ㄐㄧ |
模态逻辑,逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。