當(dāng)前位置：首頁(yè) > 百科知識(shí) > 數(shù)學(xué) > 正文

邏輯演算
數(shù)學(xué)

        用形式化方法處理邏輯推理，特別是數(shù)學(xué)中所用推理。由于形式化了的推理過程與代數(shù)演算具有相似性,故也稱之為邏輯演算。這類推理的正確性僅依賴于它們的形式,而與內(nèi)容無關(guān),例如三段論法。在這里，概念、推理等被分解為最    （本文共 1736 字 ）     [閱讀本文] >>

開通會(huì)員，享受整站包年服務(wù)立即開通 >
推薦內(nèi)容
百科知識(shí)
中國(guó)民俗 現(xiàn)代醫(yī)學(xué) 白酒生產(chǎn) 新疆百科 領(lǐng)導(dǎo)干部 茶具百科 音樂舞蹈 百科知識(shí) 家庭育兒 西方文化 會(huì)計(jì)百科 麥克米倫 金融百科 中國(guó)文學(xué) 北京百科 市縣全覽 帝王宰相 固原百科 現(xiàn)代科技 科學(xué)育兒 外國(guó)歷史 青海旅游 外國(guó)文學(xué) 養(yǎng)花百科 中國(guó)歷史 黃河文化 中國(guó)蘭花 太極拳學(xué) 嚴(yán)州文化 孔子百科 美國(guó)歷史 中國(guó)名食 吉林百科 世界詩(shī)學(xué) 農(nóng)業(yè)百科 中國(guó)對(duì)聯(lián) 空間科學(xué) 安徽百科 面點(diǎn)制作 廣州百科 貴州百科 趣味科學(xué) 寧夏百科 電力百科 科學(xué)探險(xiǎn) 應(yīng)用寫作 財(cái)務(wù)百科 女性百科 英文信函 心理咨詢 惠山泥人 環(huán)境科學(xué) 兵器百科 壯族百科 證券百科 民間剪紙 四川百科 湖南百科 對(duì)外交流 中原建筑 陜西百科 老年百科 冶金百科 中國(guó)制糖 語言文字 中華百科 體育百科 萬事由來 輕工 水利 經(jīng)濟(jì)學(xué) 生物學(xué) 中國(guó)荒政書 三字經(jīng) 青花瓷 企業(yè)家 中醫(yī)學(xué) 心理學(xué) 地理學(xué) 政治學(xué) 國(guó)學(xué)百科 食用菌 力學(xué) 甘肅老字號(hào) 歐洲天文學(xué) 葡萄酒知識(shí) 數(shù)學(xué) 唐代金銀器 昆明園博會(huì) 牡丹 馬家窯彩陶 加拿大 倫理學(xué) 秦域觀賞石 計(jì)算機(jī)科學(xué) 數(shù)據(jù)庫(kù)百科 蘭州 敦煌古跡 園林觀賞花卉 交通 小學(xué)教學(xué) 百科探秘 成人教育 麗江古城 中學(xué)教學(xué) 世界電影 獨(dú)生子女教育 京劇藝術(shù) 金融 南陽郡守 長(zhǎng)城調(diào)查 煙草百科 愛新覺羅 中國(guó)學(xué)生 美國(guó)歷史 中國(guó)電力 社會(huì)主義 工人階級(jí) 食品工業(yè) 中國(guó)收藏 新聞傳播 電子學(xué)計(jì)算機(jī) 云南茶生活 文化史知識(shí) 基督教文化 仡佬族文化 非物質(zhì)文化 云南西部 圖解標(biāo)簽 西部開發(fā) 裝修驗(yàn)收 廣播電視 學(xué)前教育 裝修工法 軍事后勤 建筑園林 皮影線譜 自動(dòng)控制 野生動(dòng)物 彝族文化 科技預(yù)見 鄉(xiāng)鎮(zhèn)企業(yè) 兒童藝術(shù) 心理保健