释
代数逻辑
dài shù luó jí · ㄉㄞˋ ㄕㄨˋ ㄌㄨㄛˊ ㄐㄧˊ
修撰于 2026-06-29 23:15:39
音义
| 拼音 | dài shù luó jí |
|---|---|
| 字母 | dai shu luo ji |
| 首字母 | dslj |
| 注音 | ㄉㄞˋ ㄕㄨˋ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄉㄞ ㄕㄨ ㄌㄨㄛ ㄐㄧ |
广训
代数逻辑指以线形代数记法来表现推理过程的符号逻辑。线形代数记法能分布于一条直线，容易排版印刷，因此，在逻辑学发展的很长一段时期，以线形代数记法为表现工具的代数逻辑占据着统治地位，被认为是正统的标准逻辑。但代数记法可读性不强，不够直观，要掌握以这种记法表现的逻辑学往往需要专门训练。代数逻辑有时还指用代数方法研究逻辑学的各种逻辑理论。