受益

何乃

hé nǎi

1.怎能，何能。 2.何况。 3.何故，为何。

现代逻辑

xiàn dài luó jí

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

角髻

jiǎo jì

1.古代童稚的发髻。状如牛角。

山包海汇

shān bāo hǎi huì

1.犹言包罗万象。

遒爽

qiú shuāng

1.刚劲豪放。 2.浓烈爽口。

难凭

nán píng

1.不可凭信。