命題公式的等價性

命題的概念：一個命題是一個非真即假的陳述句 命題具有真假值腔剂，而且非真即假 陳述句的限定源于命題的判斷屬性 或然性的排除 命題的真假判定問...

邏輯學(xué)：關(guān)于推理和論證的科學(xué) 可以認(rèn)為主要包含形式邏輯和辯證邏輯杏愤，又以形式邏輯為主要的研究內(nèi)容 古希臘的形式邏輯：亞里士多德 古中國：墨翟...

數(shù)理邏輯靡砌，又稱符號邏輯、現(xiàn)代形式邏輯珊楼。邏輯學(xué)先于一切科學(xué) 萊布尼茨：代數(shù)演繹的思想通殃。 布爾代數(shù)：完整的邏輯代數(shù)體系，即布爾代數(shù) 弗雷格的《表意符...

離散數(shù)學(xué)形成能力評價（Rosen） 數(shù)學(xué)推理能力 組合分析能力 離散結(jié)構(gòu)分析和應(yīng)用能力 算法思維能力 應(yīng)用于建模能力