性質命題是斷定對象具有或不具有某種性質的簡單判斷。
性質命題也叫直言命題或直言判斷，可分為六種基本類型：
(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每日頭條，我们将持续为您更新最新资讯!
zpostcode 
Recruit 
weather 
mreligion 
Yellowpages 
sport 
constellation 
shopping 
name 
game 
directory 
literature 
Word 
tour 
furnish 
Lottery 
tftnews 
lyrics 
News 
digital 
car 
dir 
Edu 
Finance 
