在命題邏輯中，我們把簡單命題作為基本單位，對于簡單命題不再進(jìn)行分拆，而是研究由簡單命題和連接詞所組成的復(fù)合命題，研究復(fù)合命題的邏輯性質(zhì)和復(fù)合命題間的邏輯關(guān)系等等。我們來看以下推理： 所有的偶數(shù)都能被2整除。 10是偶數(shù)。 10能被2整除。這個推理的前提和結(jié)論里都沒有連接詞，它們不是復(fù)合命題而是簡單命題。從命題邏輯的角度來分析，它們都是不相同的簡單命題，如果用命題邏輯的工具來處理，它們的形式分別是p，q，r，顯然這不是命題邏輯里的正確推理形式，它的正確性在命題邏輯里不能得到反映，它要取決于謂詞和量詞的性質(zhì)。如果我們不對簡單命題做進(jìn)一步的分拆，從而顯示出前提和結(jié)論在形式結(jié)構(gòu)方面的聯(lián)系，我們就不可能認(rèn)識到這種推理的形式和規(guī)律。另外，在邏輯推理過程中甚至日常生活的推理中，一些邏輯概念也不是命題邏輯所能包括的，如“必然”、“可能”、“所有”、“一切”、“存在”、“有”、“存在唯一”、“至少有一個”、“至多有一個”、“沒有一個”。由此可見，命題邏輯只反映了一部分邏輯規(guī)律。本文在命題邏輯的基礎(chǔ)上以系統(tǒng)為背景建立謂詞邏輯理論。 本文共分四個部分。第一部分是引言。引言中主要介紹了... 

【文章來源】：陜西師范大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁數(shù)】：46 頁

【學(xué)位級別】：碩士

【文章目錄】：
一、 引言
二、 (?)謂詞邏輯
    2.1 (?)謂詞邏輯的語義理論
    2.2 (?)謂詞邏輯的語構(gòu)理論
    2.3 (?)謂詞邏輯的完備性
        2.3.1 基本概念和定理
        2.3.2 (?)謂詞邏輯的擴(kuò)張及其完備性
三、 R_0代數(shù)性質(zhì)新探
    3.1 R_0代數(shù)中Boole元的性質(zhì)及其濾子的性質(zhì)
    3.2 模糊R_0代數(shù)
總結(jié)
致謝
參考文獻(xiàn)
附錄
攻讀學(xué)位期間的研究成果



本文編號：3461968