性質命題是斷定對象具有或不具有某種性質的簡單判斷。
性質命題也叫直言命題或直言判斷,可分為六種基本類型:
(1)稱肯定判斷。其邏輯形式是“所有S都是P”。
(2)稱否定判斷。其邏輯形式是“所有S都不是P”。
(3)特稱肯定判斷。其邏輯形式是“有S是P”
(4)特稱否定判斷。其邏輯形式是“有S不是P”
(5)單稱肯定判斷。其邏輯形式是“某個S是P”。
(6)單稱否定判斷。其邏輯形式是“某個S不是P”。
由于單稱判斷對反映某一單對象的概念的部外延作了斷定,從邏輯性質上說,單稱判斷可以看作是稱判斷。這樣,性質命題就可以歸結為以下四種基本形式:
(1)稱肯定判斷,簡稱為“A”判斷,可寫為“SAP”
(2)稱否定判斷,簡稱為“E”判斷,可寫為“SEP”
(3)特稱肯定判斷,簡稱為“I”判斷,可寫為“SIP”
(4)特稱否定判斷,簡稱為“O”判斷,可寫為“SOP”
在論域為全域時,六種直言命題可以如下方式符号化:
(1)全稱的直言命題應符号化為一個全稱蘊涵式。
SAP:∀x(S(x)→P(x))
SEP:∀x(S(x)→¬P(x))
全稱命題不能翻譯為合取式。
(2)特稱的直言命題應符号化為存在合取式。
SIP:∃x(S(x)∧P(x))
SOP:∃x(S(x)∧¬P(x))
特稱命題不能翻譯為蘊涵式。
(3)單稱的直言命題應符号化為原子公式。
“《春江花月夜》是一支中國古代名曲”可以符号化為:F(a)
“周作人不是一位具有民族氣節的人”可以符号化為:¬F(b)
,更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!