词语解释

⒈  数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

词语分解

现的解释

(1)出现；显露。(2)现在；此刻：～状｜～任。(3)（副）临时；当时：～编～唱｜～做～卖。(4)（形）当时可以拿出来的：～钱｜～货｜～款｜～存。(5)（名）现款：兑～｜贴～。(6)（动）表露在外面；使人可以看见：～原形｜～出笑容｜图穷匕首～。

代的解释

(1)（动）代替、代理：～办。(2)（名）时代：古～。(3)（名）辈次：老一～。(4)（名）历史的分期：汉～。

逻的解释

（动）巡察：巡～｜～骑｜～卒。

辑的解释

1.  聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。2.  聚集很多材料而成的书刊：丛书第一辑。3.  和，和睦：辑睦。4.  敛，拖着不便脱落。5.  古同“缉”，连缀。6.  古代称协调驾车的众马。