開啟主選單

求真百科

來自 搜狐網 的圖片

合取範式是全國科學技術名詞審定委員會審定、公布的科技類名詞。

漢字,是中華民族文化的化石,是歷史的載體,是前人智慧的結晶[1],是有着鮮活生命的「你」「我」「他」,有着濃郁的文化意蘊、獨特的文化魅力和深厚的民族情結。漢字之美[2],美在形體、美在風骨、美在精髓、美在真情!

目錄

名詞解釋

合取範式(conjunctive normal form),是命題公式的一種標準形。

一個命題公式的合取範式可以通過真值表得到,也可以通過等價變換得到。

合取範式主要用於解決命題公式的邏輯判斷,一個命題的合取範式不是唯一的。

相關內容

一個命題公式的合取範式可以通過真值表得到,也可以通過等價變換得到。命題公式還有另一種範式,析取範式。析取範式的定義與合取範式對偶,只要把合取與析取對換就可以由合取項得到析取項,由合取範式得到析取範式。

假設

設A是一個命題公式,A中出現的命題變元為p1,p2,…,pn,以Qi表示pi或┐pi,i=1,…,n。稱Q1∧…∧Qn是p1,…,pn的一個合取項,若干個互不相同的析取項的合取稱為一個合取範式,與命題公式A邏輯等價的合取範式稱為A的合取範式。

科技名詞

科技名詞,是指全國科學技術名詞審定委員會審定、公布的科技類名詞、術語,屬於科技術語。是科學技術形成、記錄、積累、交流、傳播的前提和基礎,是科學思維的基礎和工具

統一、規範科技名詞是國家科技基礎條件的重要內容,是推動科技創新和構建新時代中國科技話語體系的基礎性工作,也是中國融入全球科技創新體系、建設世界科技強國的戰略性舉措,意義重大而深遠。

1990年6月23日,國家科委中國科學院、國家教委、新聞出版署發出《關於使用全國自然科學名詞審定委員會公布的科技名詞的通知》。

2020年6月2日,教育部、國家語委在京發布2019年中國語言文字事業和語言生活狀況,全國科學技術名詞審定委員會公布近6萬條科技名詞。

參考文獻