轻翰

现代逻辑

xiàn dài luó jí

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号…

千秋旛

qiān qiū fān

1.旧时用以遮盖尸体的布幡。

过谬

guò miù

1.谓行事失当。

送神

sòng shén

1.古代祭神，祭毕送之使去，谓之"送神"。 2.指驱送鬼神。

武谊

wǔ yì

1.见"武义"。

遐深

xiá shēn

1.荒远幽僻。 2.久远。