symbolic logic; mathematical logic
Tone colorsmāmámǎmàma
Meanings
1 sense · 3 examplesnoun
symbolic logic; mathematical logic
technicalA formal branch of logic that uses symbolic notation to represent logical expressions and operations. Often used interchangeably with 数理逻辑.
fú符
hào号
luó逻
jí辑
shì是
jì计
suàn算
jī机
kē科
xué学
de的
zhòng重
yào要
jī基
chǔ础
。
Symbolic logic is an important foundation of computer science.
Tā他
zhè这
xué学
qī期
xuǎn选
xiū修
le了
fú符
hào号
luó逻
jí辑
。
He took symbolic logic as an elective this semester.
Show 1 more exampleShow fewer examples
fú符
hào号
luó逻
jí辑
shǐ使
yòng用
xíng形
shì式
yǔ语
yán言
lái来
biǎo表
dá达
mìng命
tí题
。
Symbolic logic uses formal language to express propositions.