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

首页 > 汉语词典 >

命题演算

命题演算　　　mìng tí yǎn suàn

数理逻辑的基本组成部分。在命题演算里，把简单命题当作可取得真值或假值的整体（不分析其内部结构），研究由简单命题出发经使用*命题联接词构成的复合命题的逻辑形式，以及它们之间的逻辑推理关系。在计算机科学中有广泛应用。

「命题」开头的词语:

命题联结词

太古遺音二卷　福壽全書廣集四卷　藏逸經書一卷　更生齋文甲集四卷文乙集四卷詩集八卷詩餘二卷　陶氏醫案一卷　擬古樂府二卷　兵器三種附洋務新論　諫憲宗服金丹疏一卷　趙干城　潛邱劄記六卷　忠烈誌銘一卷　肘後備急方八卷　關隴輿中偶憶編不分卷　文選紀聞三十卷　達隱先生獨醉庵集六卷補遺一卷　屈原傳一卷　遊秦園記一卷　春秋内事一卷　文則一卷　彙音釋義千文一卷　列仙傳二卷　三國志辨誤三卷　科爾沁右翼後鎮國公旗調查書不分卷　澹生堂藏書約四卷　南山文集十四卷補遺三卷　 [浙江諸暨]勾亭陳氏宗譜□卷　毛詩釋地六卷　金丹大要一卷　恕堂詩□□卷　載花舲傳奇二卷　春秋集傳釋義大成十二卷　城南夜話一卷續話一卷　陸生口譜五卷　同治九年庚午科浙江鄉試硃卷一卷　贅語五善惡帙二卷　纂圖互註荀子二十卷　宋槧漢書殘本攷異一卷　脈訣提要二卷附藥性賦四卷　弧三角舉隅一卷　陳白沙集一卷　嵩明州一卷　顯考純叔府君（熊其英）行述一卷　表奏書啟四六集七卷　欽定春秋傳說彙纂三十八卷首二卷　宋王梅溪先生溫陵留墨一卷　明金陵二名家樂府　愚泉詩選一卷　農事畧論一卷附圖一卷　唐元次山文集十二卷　玉堂校傳如崗陳先生二經精解全編九卷　郢中酬唱集四卷　劫海吟一卷　西清古鑑四十卷錢錄十六卷　鄭氏注韓居七種　來寄軒詩草四卷　吉雨山房文集四卷詩集五卷北山樵唱一卷　滂喜齋藏書記三卷　胡澹菴先生文集三十二卷補遺一卷　倉頡篇一卷　天星陽宅四卷　

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