本文選題：命題邏輯 + 負(fù)命題��； 參考：《山東師大學(xué)報(bào)(社會(huì)科學(xué)版)》1999年03期

【摘要】：命題邏輯以復(fù)合命題及其推理為主要內(nèi)容，命題推理是以相應(yīng)復(fù)合命題的邏輯性質(zhì)為依據(jù)而推演的，復(fù)合命題的邏輯性質(zhì)主要體現(xiàn)在命題與支命題之間的真假制約關(guān)系方面，因此，，研究命題與支命題的真假關(guān)系是命題邏輯的基本內(nèi)容。應(yīng)當(dāng)指出，邏輯學(xué)所揭示的全部關(guān)于復(fù)合命題的真...
[Abstract]:The main contents of propositional logic are compound propositions and their reasoning. Propositional reasoning is based on the logical properties of corresponding compound propositions. The logical properties of compound propositions are mainly embodied in the relationship between truth and falsity between propositions and propositions. Therefore, it is the basic content of propositional logic to study the relationship between propositions and branch propositions. It should be pointed out that logic reveals all the truth about compound propositions.
【分類號(hào)】：B812.22

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 何應(yīng)燦;真值表的判定方法[J];思維與智慧;1982年06期

2 左衛(wèi)兵;;一種非均勻概率空間下二值命題邏輯中命題的真度理論[J];河北師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年01期

3 陳洪波;;淺談中學(xué)數(shù)學(xué)中簡易邏輯教學(xué)[J];黑龍江史志;2008年17期

4 金樊;;推理有效性的判定方法及其特點(diǎn)比較——以命題邏輯為例[J];長春工程學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2010年02期

5 王學(xué);論斯多葛學(xué)派的命題邏輯[J];松遼學(xué)刊(人文社會(huì)科學(xué)版);1994年02期

6 王國俊;宋建社;;命題邏輯中的程度化方法[J];電子學(xué)報(bào);2006年02期

7 丁后銀;;如何講解“普通語言學(xué)”中的“Propositional Logic”[J];長春理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年01期

8 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的形式系統(tǒng)之比較[J];畢節(jié)學(xué)院學(xué)報(bào);2009年10期

9 陳志美,胡澤洪;斯多葛學(xué)派的命題邏輯系統(tǒng)及其不完全性[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2001年01期

10 張清宇;關(guān)于系統(tǒng)Z的一些意見[J];武漢大學(xué)學(xué)報(bào)(人文科學(xué)版);1993年05期

相關(guān)會(huì)議論文 前10條

1 徐揚(yáng);;格值命題邏輯公式及其L真(假)性[A];中國系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第五屆年會(huì)論文選集[C];1990年

2 張清宇;;古典命題邏輯的證偽系統(tǒng)[A];1996年邏輯研究專輯[C];1996年

3 李丹菁;陶振麟;;在預(yù)測控制中使用命題邏輯及其應(yīng)用[A];2001中國控制與決策學(xué)術(shù)年會(huì)論文集[C];2001年

4 劉社軍;;命題邏輯之判定層次及其判定方法[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

5 李娜;;我講《數(shù)理邏輯》課程的方法[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

6 陳國勛;陳斌;;F-時(shí)態(tài)命題邏輯中的歸結(jié)原理[A];模糊數(shù)學(xué)和系統(tǒng)成果會(huì)論文集[C];1991年

7 夏夢;;邏輯真理的特點(diǎn)[A];邏輯研究文集——中國邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

8 孫炳哲;;《肇論》對(duì)時(shí)空真假的認(rèn)識(shí)——以《物不遷論》與《不真空論》為中心的探討[A];詮釋與建構(gòu)——湯一介先生75周年華誕暨從教50周年紀(jì)念文集[C];2001年

9 陸秋君;吳望名;;Post代數(shù)的Fuzzy濾子和Fuzzy同余[A];模糊集理論與應(yīng)用——98年中國模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)第九屆年會(huì)論文選集[C];1998年

10 劉壯虎;;相干邏輯的鄰域語義學(xué)[A];1995年邏輯研究專輯[C];1995年

相關(guān)重要報(bào)紙文章 前10條

1 佟芳;首屆生命基因高峰論壇舉行[N];科技日?qǐng)?bào);2009年

2 佟佳芳;奮斗攻關(guān)四十載 自主創(chuàng)新結(jié)碩果[N];科技日?qǐng)?bào);2009年

3 高南生（作者單位：秦安縣教師進(jìn)修學(xué)校）;中學(xué)數(shù)學(xué)學(xué)習(xí)指南[N];甘肅日?qǐng)?bào);2005年

4 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢及其對(duì)我們的啟示[N];光明日?qǐng)?bào);2008年

5 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

6 賈春華 王永炎;“方證論治系統(tǒng)”原理論思考[N];中國中醫(yī)藥報(bào);2006年

7 中國科學(xué)院計(jì)算技術(shù)研究所 常亮邋史忠植;語義Web的邏輯基礎(chǔ)[N];計(jì)算機(jī)世界;2007年

8 哲科;哲學(xué)所舉辦第二屆青年學(xué)術(shù)論壇[N];中國社會(huì)科學(xué)院院報(bào);2008年

9 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日?qǐng)?bào);2007年

10 林圭;固有不然必?zé)o不至[N];人民日?qǐng)?bào)海外版;2001年

相關(guān)博士學(xué)位論文 前10條

1 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結(jié)原理的自動(dòng)推理方法的研究[D];西南交通大學(xué);2002年

2 賈春華;基于命題邏輯的《傷寒論》方證理論體系研究[D];北京中醫(yī)藥大學(xué);2006年

3 吳瑕;基于擴(kuò)展規(guī)則的定理證明的研究[D];吉林大學(xué);2006年

4 殷明浩;自動(dòng)推理和智能規(guī)劃中若干問題研究[D];吉林大學(xué);2008年

5 呂進(jìn);基于時(shí)間和行動(dòng)規(guī)劃的知識(shí)—意圖邏輯[D];西南大學(xué);2008年

6 郭遠(yuǎn)華;若干邏輯自動(dòng)推理方法研究[D];華東師范大學(xué);2010年

7 斐崢;基于神經(jīng)網(wǎng)絡(luò)的自動(dòng)推理理論及方法的研究[D];西南交通大學(xué);2002年

8 胡斌;可信的自治式服務(wù)協(xié)同系統(tǒng)驗(yàn)證[D];浙江大學(xué);2009年

9 惠小靜;計(jì)量邏輯學(xué)及其隨機(jī)化研究[D];陜西師范大學(xué);2008年

10 田忠鋒;形式邏輯前提批判[D];吉林大學(xué);2008年

相關(guān)碩士學(xué)位論文 前10條

1 黃拙;一階邏輯模型搜索問題研究[D];中國科學(xué)院研究生院（軟件研究所）;2004年

2 李彩紅;命題邏輯中廣義MP問題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

3 鄧富喜;n值S-MTL命題邏輯系統(tǒng)中的近似推理理論及三I算法的還原性[D];蘭州理工大學(xué);2011年

4 黃沖;組合優(yōu)化中的命題邏輯[D];華中科技大學(xué);2011年

5 劉加昆;轉(zhuǎn)折句“p∧q”的邏輯分析[D];廣西師范大學(xué);2007年

6 宋慶燕;命題邏輯公式集上的正則相似關(guān)系和一種新型的三I算法[D];陜西師范大學(xué);2003年

7 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

8 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語義[D];遼寧師范大學(xué);2005年

9 李晟;命題邏輯公理系統(tǒng)內(nèi)定理證明的技巧和方法研究[D];燕山大學(xué);2012年

10 于丹;“反正”的多角度研究[D];吉林大學(xué);2007年

本文編號(hào)：1877403