国产无玛黄色大片|99最新极品蜜臀精品久久|久久精品成人av|精品久久久久久中文幕人妻日本|99热资源站人妻多P无码|韩日黄色的男女免费大全|av在线尤物精品国产|无码av免费精品一区二区三区影院|东京热一区二区三区|久久久久久国产成人a亚洲精品无码

首頁(yè) > 期刊 > 湖南科技大學(xué)學(xué)報(bào)·自然科學(xué)版 > 亞里士多德模態(tài)三段論邏輯的形式化公理系統(tǒng)探討 【正文】

亞里士多德模態(tài)三段論邏輯的形式化公理系統(tǒng)探討

作者：張曉君; 袁嬌嬌 四川師范大學(xué)邏輯與信息研究所; 四川成都610068

摘要：利用廣義量詞理論、可能世界語(yǔ)義學(xué)和集合論,可以簡(jiǎn)潔明了地對(duì)亞里士多德模態(tài)三段論進(jìn)行形式化和有效性的證明。根據(jù)有效的亞里士多德模態(tài)三段論應(yīng)該遵守的基本規(guī)則,可以從6 656個(gè)亞里士多德模態(tài)三段論中,篩選出有效的384個(gè)模態(tài)三段論。把通過(guò)向有效的直言三段論AAA-1和EAE-1中添加模態(tài)詞而得到的20個(gè)有效模態(tài)三段論作為基礎(chǔ)公理,就可以為亞里士多德模態(tài)三段論邏輯建立起形式化公理系統(tǒng)。

注：因版權(quán)方要求，不能公開(kāi)全文，如需全文，請(qǐng)咨詢(xún)雜志社。

湖南科技大學(xué)學(xué)報(bào)·自然科學(xué)版雜志

湖南科技大學(xué)學(xué)報(bào)·自然科學(xué)版雜志， 季刊，本刊重視學(xué)術(shù)導(dǎo)向，堅(jiān)持科學(xué)性、學(xué)術(shù)性、先進(jìn)性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：采礦、地質(zhì)工程、機(jī)電工程、土木工程、信息與控制工程、化學(xué)工程、環(huán)境工程、數(shù)學(xué)等。于1983年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。

  • 北大期刊
  • 統(tǒng)計(jì)源期刊
  • 1-3個(gè)月審核

服務(wù)介紹LITERATURE

正規(guī)發(fā)表流程 全程指導(dǎo)

多年專(zhuān)注期刊服務(wù)，熟悉發(fā)表政策，投稿全程指導(dǎo)。因?yàn)閷?zhuān)注所以專(zhuān)業(yè)。

保障正刊 雙刊號(hào)

推薦期刊保障正刊，評(píng)職認(rèn)可，企業(yè)資質(zhì)合規(guī)可查。

用戶(hù)信息嚴(yán)格保密

誠(chéng)信服務(wù)，簽訂協(xié)議，嚴(yán)格保密用戶(hù)信息，提供正規(guī)票據(jù)。

不成功可退款

如果發(fā)表不成功可退款或轉(zhuǎn)刊。資金受第三方支付寶監(jiān)管，安全放心。