数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。
xiàn,王,8,左右结构
xiàn 1. 显露;出现 2. 现在;此刻 3. 临时;当时 ...
一、一、丨、㇀、丨、?、丿、乚
呈现、奔现、实现、现货、现象
dài,亻,5,左右结构
dài 1. 替代;替换 2. 代理。暂时替人负责某项事务或工作 3. 朝代;历史的分期 ...
丿、丨、一、㇂、丶
代号、代购、时代、代沟、代词
luó,辶,11,左下包围结构
luó 1. ◎ 巡察
丨、?、丨、丨、一、丿、㇇、丶、丶、㇋、㇏
津逻、逻刹、逻杯、逼逻、逻所
jí,车,13,左右结构
jí 1. 聚集。特指聚集材料编书 2. 量词。整套书、资料等按内容或写作时间、发表顺序分成的部分
一、?、丨、㇀、丨、?、一、一、丨、丨、一、一、一
逻辑、编辑、辑绥、装辑、辑刊
