词语解释
符号逻辑的一种系统，以命题为单位，藉逻辑连接词予以结合，且逐步推论以决定命题的真假值。亦探讨逻辑连接词的性质、命题公式的永真性、永假性、可满足性以及命题之间的演绎关系。
英语翻译
propositional calculus
第1个字【命】的组词
- yī mìng一命
- yī mìng zhī róng一命之荣
- yī mìng wū hū一命呜呼
- yī mìng guī xī一命归西
- yī mìng guī yīn一命归阴
- yī mìng míng hū一命鸣呼
- yī fū pàn mìng，wàn fū nán dí一夫拚命，万夫难敌
- yī wén rú mìng一文如命
- yī qián rú mìng一钱如命
- qī yī wǔ fǎn gé mìng zhèng biàn七一五反革命政变
- qī mìng七命
- qī yuè gé mìng七月革命
- sān mìng三命
- sān mìng ér fǔ三命而俯
- shàng mìng上命
- xià mìng下命
- xià sǐ mìng de下死命的
- bù fù kān mìng不复堪命
- bù gěi mìng不给命
- bù huò mìng不获命
第2个字【题】的组词
- qī qiáo wèn tí七桥问题
- sān tǐ wèn tí三体问题
- sān děng fēn jiǎo wèn tí三等分角问题
- xià bǐ qiān yán，lí tí wàn lǐ下笔千言，离题万里
- bù tí不题
- zhuān tí专题
- zhuān tí jí yóu专题集邮
- zhōng guó yóu dì yuán wèn tí中国邮递员问题
- zhōng guó gé mìng zhàn zhēng de zhàn lüè wèn tí中国革命战争的战略问题
- zhōng yīng guān yú xiāng gǎng wèn tí de lián hé shēng míng中英关于香港问题的联合声明
- zhōng pú guān yú ào mén wèn tí de lián hé shēng míng中葡关于澳门问题的联合声明
- zhǔ tí主题
- zhǔ tí qǔ主题曲
- zhǔ tí gē主题歌
- zhǔ tí suǒ yǐn主题索引
- xí tí习题
- shū tí书题
- èr tǐ wèn tí二体问题
- wǔ tí五题
- rén kǒu wèn tí人口问题
第3个字【演】的组词
第4个字【算】的组词
- yī suàn一算
- dīng suàn丁算
- shàng suàn上算
- bù shàng suàn不上算
- bù kě shèng suàn不可胜算
- bù hé suàn不合算
- bù suàn不算
- zhuān yòng jì suàn jī专用计算机
- zhōng guó jì suàn jī xué huì中国计算机学会
- jǔ wú yí suàn举无遗算
- jiǔ zhāng suàn shù九章算术
- dài shù yùn suàn代数运算
- rèn suàn任算
- gū suàn估算
- hé suàn何算
- zuò suàn作算
- dǎo suàn倒算
- rù hǎi suàn shā入海算沙
- quán suàn全算
- gōng sī qīng suàn公司清算
你可能还想了解
Copyright © 2023 256查询网 All Rights Reserved
