現代邏輯

xiàn dài luó jí hiện đại la tập

Hán Việt: hiện đại la tập · Pinyin: xiàn dài luó jí

Tổng quan

Cấu tạo: 現 (hiện) + 代 (đại) + 邏 (la) + 輯 (tập)

Pinyin
xiàn dài luó jí
Hán Việt
hiện đại la tập
Cấu tạo
現 + 代 + 邏 + 輯 · hiện + đại + la + tập nghĩa thành phần: hiện + đại + la + tập

Nghĩa

Mainland

  • Tân Hoa Tự Điển 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。