fú​hào​luó​ji

symbolic logic

Senses

符号逻辑/ 符號邏輯 fú​hào​luó​ji (also fú​hào​luó​jí) symbolic logic

symbolic logic; a branch of mathematics and logic that uses symbols and mathematical methods to represent formal logic

References

same_as 符号逻辑/符號邏輯 数理逻辑/數理邏輯
same_as 数理逻辑/數理邏輯 符号逻辑/符號邏輯