符號邏輯
phù hào la tập
Hán Việt: phù hào la tập · Pinyin: fú hào luó jí
Tổng quan
lô-gich toán học
数理逻辑。
一種邏輯。不限名詞和命題,將其關係用數學符號表達,而以數學運算的方式,據以推斷論證命題的結果,有執簡銜繁的功效。
Nghĩa
Việt
- Google Alex v6 logic ký hiệu
- Biên soạn symbolic logic
Taiwan
- MOE · 教育部重編國語辭典 一種邏輯。不限名詞和命題,將其關係用數學符號表達,而以數學運算的方式,據以推斷論證命題的結果,有執簡銜繁的功效。
Eng
- Cihui 符號邏輯 úhào luójí n. symbolic logic