代数逻辑

扩展释义

代数逻辑指以线形代数记法来表现推理过程的符号逻辑。线形代数记法能分布于一条直线，容易排版印刷，因此，在逻辑学发展的很长一段时期，以线形代数记法为表现工具的代数逻辑占据着统治地位，被认为是正统的标准逻辑。但代数记法可读性不强，不够直观，要掌握以这种记法表现的逻辑学往往需要专门训练。代数逻辑有时还指用代数方法研究逻辑学的各种逻辑理论。