二十四史 | 四库全书 | 古今图书集成 | 历史人物 | 说文解字 | 成语词典 | 甲骨文合集 | 殷周金文集成 | 象形字典 | 十三经索引 | 字体转换器 | 篆书识别 | 近义反义词 | 对联大全 | 家谱族谱查询 | 哈佛古籍

首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载

译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心

首页 > 汉语词典 >

谓词逻辑

谓词逻辑   

将命题分解为主词、谓词和量词,研究其形式结构,导出有关的逻辑形式和规律的逻辑理论。因其基本推理规则是关于量词的引入和消去的规则,故亦称“量词逻辑”。谓词逻辑的公理化就是谓词演算。弗雷格于19世纪末20世纪初建立了第一个初步自足的公理化的谓词逻辑系统。



「谓词」开头的词语:

谓词
谓词演算
谓词逻辑


关于本站 | 收藏本站 | 欢迎投稿 | 意见建议 | 国学迷 | 说文网
Copyright © 国学大师 古典图书集成 All Rights Reserved.
免责声明:本站非营利性站点,内容均为民国之前的公共版权领域古籍,以方便网友为主,仅供学习研究。
内容由热心网友提供和网上收集,不保留版权。若侵犯了您的权益,来信即刪。scp168@qq.com

ICP证:鲁ICP备19049252号-39