symbolic logic
符号逻辑：一种逻辑学分支，使用符号和符号系统来表示和分析逻辑关系和论证。
symbolic logic网络翻译
符号逻辑（Symbolic logic）是研究逻辑推论的形式特征的符号抽象的。符号逻辑常常被区分为两个分支：命题逻辑和谓词逻辑。
数理逻辑证明集合相等探究-毕业论文参考网 关键词:集合; 数理逻辑; 谓词; 特征函数 [gap=940]Key words: set; symbolic logic; peridication ; eigenfunction
符号逻萝辑... symbolic logic 符号逻辑 ; 数理逻辑 ; 符号论理学 ; 符号逻萝辑 symbolic name 符号名 ; 符号名称 ; 标记名 ; 符号名字 Symbolic Address 符号地址 ; 标志位置 ; 符号地址 ...
symbolic logic常用短语
1. The Bulletin of Symbolic Logic：符号逻辑快报
2. Symbolic Logic I：符号逻辑
3. semi-symbolic logic：半符号逻辑
4. Formal symbolic logic：逻辑
5. Symbolic logic semant：二值逻辑语义
symbolic logic双语例句
It is an example of symbolic logic.
这是个象征逻辑的例子。
Read more about Dr. George Boole, the inventor of symbolic logic, after whom booleans are named.
阅读关于 George Boole 博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。
Clearly the infamous inventor of symbolic logic, Dr. George Boole — see Resources — would feel right at home.
显然，“声名狼籍的”符号逻辑发明者George Boole博士—请参阅参考资料—会觉得这些选项很亲切。
相关单词
- swotn. 苦读的人；努力工作者；辛苦的工作 vi. 刻苦用功 vt. 刻苦攻读
- switchbackn. 在 Z 形路轨向原来的方向返驶；改变角度；之字形路 vi. 蜿蜒而行；采取迂回方针 adj. 曲折的；起伏不平的
- supervisorn. 监督者，管理者；（英国大学里负责学生研究工作的）指导教师；<美>镇长，县长
- strikebreakern. [劳经] 破坏罢工者
- stepsn. （楼外的）台阶；步伐；步数；步幅（step 的复数） vi. 踏，踩；走（step 的第三人称单数） vt. 走，迈步； 竖立（桅杆）于桅座上（step 的第三人称单数）
- stenographern. 速记员
- statisticiann. 统计学家，统计员
- stagnationn. （一国经济的）不景气，停滞；（水）不流动
- springboardn. 跳板；出发点 vi. 利用跳板跃进
- shantytownn. 以临时搭盖的陋屋为主的地区
- sewern. 下水道，阴沟；缝纫工，缝纫机；（中世纪贵族宅邸中的）司膳管家 v. 为……铺设污水管道，用下水道排除……的污水；清洗污水管
- sculptorn. 雕刻家，雕塑家
- schoolingn. 学校教育；学费；（马术）训练马在平地比赛（或跨越障碍） v. 教育，培养；训练，使学会（school 的现在分词形式） 【名】 （Schooling）（英）斯库林（人名）
- schoolgirln. 女学生
- satcheln. 书包；小背包