二值命題邏輯中邏輯推理的有效度

本文以公式真度概念為基礎(chǔ),給出了二值命題邏輯系統(tǒng)中公式由理論邏輯推出的有效度概念及計算方法,討論了在基本邏輯運算下理論的有效結(jié)論問題以及同一理論的結(jié)論的相似問題.

作 者： WANG Ting-ming   作者單位：   刊 名： 山東農(nóng)業(yè)大學(xué)學(xué)報（自然科學(xué)版）  ISTIC PKU 英文刊名： JOURNAL OF SHANDONG AGRICULTURAL UNIVERSITY(NATURAL SCIENCE)  年，卷(期)： 2008 39(3)  分類號： O141  關(guān)鍵詞： 命題公式   主范式   真度   有效度   相似度  

【二值命題邏輯中邏輯推理的有效度】相關(guān)文章：

計算教學(xué)中算理算法的有效結(jié)合04-28

邏輯推理選擇專項練習(xí)題03-13

計算教學(xué)中如何使算理和算法有效結(jié)合04-28

商務(wù)談判中幫你脫穎而出的有效指示05-04

開學(xué)第二周值周總結(jié)（精選5篇）08-25

值周09-08

開學(xué)第二周值周總結(jié)范文（精選6篇）08-20

14冊音樂有效教學(xué)第二單元教案04-25

參觀二中作文09-05

二狗中的經(jīng)典語錄12-05