法律邏輯學(xué)筆記(編輯修改稿)
2025-01-19 07:46 本頁面
【文章內(nèi)容簡介】 ：只有當(dāng)聯(lián)言支都為真時，聯(lián)言命題真值才為真，在其他情況下的真值都為假。 二、聯(lián)言推理 ，即前提或結(jié)論為聯(lián)言命題的必然性推理。 聯(lián)言推理有兩種形式： 分解式p∧q→p。p∧q→q和組合式與分解式相反其蘊涵式(p∧q→q∧p)。 第三節(jié) 選言命題及其推理 一、選言命題 選言命題又稱析取命題，是陳述若干可能的思維對象情況中至少有一個存在的復(fù)合命題，是由聯(lián)結(jié)詞“或者”聯(lián)結(jié)支命題所構(gòu)成的命題。根據(jù)選言支是否相容，可把選言命題分為相容選言命題和不相容選言命題。 相容選言命題是陳述各選言支所指的各種情況可以同時并存，即選言支可以同真的選言命題。相容選言命題的邏輯形式是：p或者q相容選言命題的真值： 選言支只要有一真，則相容選言命題真； 選言支只有都為假，則相容選言命題假。相容選言命題真值表： 不相容選言命題是陳述選言支所指的各種情況不能同時并存，即選言支不可同時為真的選言命題。不相容選言命題的邏輯形式是：要么p，要么q。 不相容選言命題的真值是：只有并且只能有一選言支真，則不相容選言命題真；當(dāng)且僅當(dāng)選言支都真或都假，則不相容選言命題假。(參見上表 二、選言推理 選言推理又稱析取推理，是根據(jù)選言命題的邏輯性質(zhì)所進行的必然性推理。 因為選言命題分為相容選言命題和不相容選言命題，所以，選言推理區(qū)分為相容選言推理和不相容選言推理。 相容選言推理是前提中有一個相容選言命題的選言推理。 相容選言推理規(guī)則有兩條：否定一部分選言支，就必肯定另一部分選言支?？隙ㄒ徊糠诌x言支，不能確定另一部分選言支。 相容選言推理的有效式是即否定肯定式：（p∨q）∧﹁p→q。 （p∨q）∧﹁q→p 不相容選言推理是前提中有一個不相容選言命題的選言推理。 不相容選言推理規(guī)則有兩條： 否定一個選言支以外的選言支，就要肯定這個選言支。 肯定一個選言支，就要否定這個以外的其他選言支。 不相容選言推理有兩個有效式：否定肯定式和肯定否定式。 (p∨q)∧﹁p→q。(p∨q)∧﹁q→p (p∨q)∧p→﹁q。(p∨q)∧q→﹁p第2章 第四節(jié) 假言命題及其推理 一、假言命題 (一)假言命題的定義和種類 假言命題又稱蘊涵命題，是陳述某一思維對象情況存在為另一思維對象情況存在條件的復(fù)合命題。假言命題3種充分條件假言命題、必要條件假言命題和充分必要條件假言命題。 （二）充分條件假言命題 充分條件假言命題是陳述前件為后件的充分條件的假言命題。 充分條件假言命題邏輯形式是：如果p，那么q。 充分條件假言命題的真值，當(dāng)且僅當(dāng)前件p真而后件q假時，才是假的，而在其他情況下都是真的。充分條件假言命題真值表： （三）必要條件假言命題 1. 必要條件假言命題是陳述前件為后件的必要條件的假言命題。 2. 必要條件假言命題邏輯形式是：只有p，才q。 3. 必要條件假言命題，當(dāng)且僅當(dāng)前件p假而后件q真時，才是假的。在其他情況下都是真的。換言之，一個真的必要條件假言命題，前件假時后件不能真。（參見上表） （四）充分必要條件假言命題 1. 充分必要條件假言命題又稱充要條件假言命題、等值命題，是陳述前件為后件充分必要條件的假言命題。 2. 充分必要條件假言命題邏輯形式是：當(dāng)且僅當(dāng)p，才q。 3. 充分必要條件假言命題真，當(dāng)且僅當(dāng)前件和后件是等值關(guān)系。（參上表） 二、假言推理 （一）假言推理的定義和種類假言推理又稱蘊涵推理，是以假言命題為前提，并根據(jù)假言命題的邏輯性質(zhì)所進行的必然性推理。假言推理有3種：充分條件假言推理、必要條件假言推理和充分必要條件假言推理。 （二）充分條件假言推理 充分條件假言推理是以充分條件假言命題為前提并根據(jù)其性質(zhì)進行的假言推理。 充分條件假言推理規(guī)則有兩條： 肯定前件就要肯定后件，否定前件不能確定后件。 否定后件就要否定前件，肯定后件不能確定前件。 充分條件假言推理有兩個有效式：肯定前件式和否定后件式。 (p→q)∧p→q (p→q)∧﹁q→﹁p （三）必要條件假言推理 必要條件假言推理是以必要條件假言命題為前提并根據(jù)其性質(zhì)進行的假言推理。
合同協(xié)議相關(guān)推薦
鄂ICP備17016276號-1