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

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

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

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

計算教學中算理算法的有效結合04-28

邏輯推理選擇專項練習題03-13

計算教學中如何使算理和算法有效結合04-28

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

開學第二周值周總結（精選5篇）08-25

值周09-08

開學第二周值周總結范文（精選6篇）08-20

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

參觀二中作文09-05

二狗中的經典語錄12-05