當前位置：首頁 > 百科知識 > 數(shù)學 > 正文

邏輯演算
數(shù)學

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

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