a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

當(dāng)前位置:主頁(yè) > 社科論文 > 邏輯論文 >

論正規(guī)命題邏輯的析取性質(zhì)(英文)

發(fā)布時(shí)間:2020-08-24 19:35
【摘要】:析取性質(zhì)是一個(gè)邏輯的構(gòu)造性特征的重要體現(xiàn)。嚴(yán)格蘊(yùn)涵命題邏輯(正規(guī)命題邏輯)是正規(guī)模態(tài)邏輯的嚴(yán)格蘊(yùn)涵片段。本文研究了正規(guī)命題邏輯的析取性質(zhì),運(yùn)用K leene slash給出了析取性質(zhì)的純句法刻畫條件。對(duì)于帶有持續(xù)性公理的正規(guī)命題邏輯,本文給出了其析取性質(zhì)的一個(gè)充分的語(yǔ)義條件。

【共引文獻(xiàn)】

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

1 何文X;馬明輝;;弱連通傳遞框架類的命題邏輯[J];邏輯學(xué)研究;2013年04期

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

1 何文X;弱連通傳遞框架類的基本命題邏輯研究[D];西南大學(xué);2014年

【相似文獻(xiàn)】

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

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

2 滕定明;;命題邏輯在語(yǔ)用研究中的應(yīng)用[J];河北理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2008年03期

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

4 張勝禮;;中介命題邏輯一種改進(jìn)的無(wú)窮值語(yǔ)義模型[J];興義民族師范學(xué)院學(xué)報(bào);2011年01期

5 郝玲;;命題邏輯的推理方法[J];山西財(cái)經(jīng)大學(xué)學(xué)報(bào);2012年S1期

6 薛彩霞;;非形式化的命題邏輯和謂詞邏輯有效性判定方法之比較分析[J];才智;2012年22期

7 張建成;蘇連塔;;命題邏輯系統(tǒng)理論(廣義)根性質(zhì)及應(yīng)用[J];山東大學(xué)學(xué)報(bào)(工學(xué)版);2013年04期

8 陶景侃;;法律命題邏輯的元邏輯[J];蘭州大學(xué)學(xué)報(bào);1988年03期

9 陶景侃;用法律的觀點(diǎn)評(píng)價(jià)現(xiàn)代規(guī)范邏輯[J];蘭州學(xué)刊;1997年03期

10 朱小陽(yáng);;聯(lián)言命題邏輯值的真與語(yǔ)義的恰當(dāng)之關(guān)系探析[J];江西社會(huì)科學(xué);2006年01期

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

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

2 任燕;王洪濤;;二值命題邏輯中的極大命題集與完備命題集[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

3 賴家俊;潘小東;徐開俊;徐揚(yáng);;基于十八元非鏈格值命題邏輯L_(18)P(X)中的歸結(jié)方法的研究[A];第六屆中國(guó)不確定系統(tǒng)年會(huì)論文集[C];2008年

4 吳堅(jiān);;關(guān)于假言命題的真假問(wèn)題的思考[A];1998年邏輯研究專輯[C];1998年

5 張家鋒;徐揚(yáng);;格值命題邏輯LP(X)中的語(yǔ)義歸結(jié)方法[A];中國(guó)運(yùn)籌學(xué)會(huì)模糊信息與模糊工程分會(huì)第五屆學(xué)術(shù)年會(huì)論文集[C];2010年

6 戴細(xì)華;;邏輯系統(tǒng)中的語(yǔ)義博弈[A];2007年現(xiàn)代邏輯與邏輯史研討會(huì)論文集[C];2007年

7 許滌非;;二重命題邏輯系統(tǒng)■_(T4)[A];2001年邏輯研究專輯[C];2001年

8 張清宇;;極小的弗協(xié)調(diào)U、S時(shí)態(tài)命題邏輯[A];邏輯、語(yǔ)言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

9 莫紹揆;;傳統(tǒng)邏輯與數(shù)理邏輯[A];邏輯學(xué)文集[C];1978年

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

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

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

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

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

1 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

2 劉小山;基本命題邏輯的模態(tài)擴(kuò)張[D];西南大學(xué);2014年

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

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

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

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

7 任燕;命題集的相容性、根及發(fā)散性[D];陜西師范大學(xué);2004年

8 楊狀;命題邏輯假說(shuō)擴(kuò)充生成算法及其應(yīng)用研究[D];大連海事大學(xué);2014年

9 折延宏;若干經(jīng)典命題邏輯問(wèn)題的拓?fù)淇坍媅D];陜西師范大學(xué);2007年

10 李麗;模糊時(shí)序命題邏輯系統(tǒng)的語(yǔ)義[D];遼寧師范大學(xué);2005年



本文編號(hào):2802752

資料下載
論文發(fā)表

本文鏈接:http://www.wukwdryxk.cn/shekelunwen/ljx/2802752.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶1b228***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
日韩欧美一二三区| 国产av麻豆美艳房东mad026| 国产深夜男女无套内射| 久久精品国产曰本波多野结衣| 国产品无码一区二区三区在线| 久久久亚洲欧洲日产国码二区| 凹凸国产熟女精品视频APP| 国产精品内射后入合集| 亚洲色中文字幕无码av| 欧美一级a一级a爰片免费免免| 老鸭窝91久久久久精品色噜噜| 久久偷拍网| 精品国产一区二区三区久久久蜜月| 免费看AV在线网站网址| 国产69麻豆精品无码一区| 日本一卡二卡新区乱码绿野仙踪| 国产午夜亚洲精品国产成人小说| 中国老太卖婬HD播放| 思思99re6国产在线播放| 日日噜噜夜夜狠狠视频无码 | 在线天堂新版资源www在线| 久久亚洲私人国产精品va| 国产精品视频色拍拍| 亚洲精品无码久久不卡| 夜夜躁狠狠躁2021| 人妻少妇精品视频无码专区| 色欲网天天无码av| 天堂在线WWW天堂在线最新版| 搡老女人老妇老熟女hd| 黑人干少妇| 色婷婷亚洲一区二区三区| 伊人狠狠操| 男人天堂av网| 中文字幕人成乱码熟女香港| 久久香蕉国产线看观看精品yw| 和朋友换娶妻野外夫妇3| 无码少妇一区二区三区视频 | 亚洲欧美网站| 欧美另类xxxx| 黑人狂桶女人高潮嗷嗷叫小说 | 草草影院CCYY国产日本欧美|