一、直言命题

　　(一)形式

　　根据逻辑常项的不同，直言命题可以分为六种形式：

　　所有 A 是 B

　　所有 A 非 B

　　有些 A 是 B

　　有些 A 非 B

　　某个 A 是 B

　　某个 A 非 B

　　(二)推出关系

　　所有 A 是 B⇒有些 A 是 B;所有 A 是 B⇒某个 A 是 B;某个 A 是 B⇒有些 A 是 B

　　所有 A 非 B⇒有些 A 非 B;所有 A 非 B⇒某个 A 非 B;某个 A 非 B⇒有些 A 非 B

　　(三)矛盾关系

　　1. 矛盾的意义：矛盾双方必然一真一假

　　2. 直言命题矛盾关系：

　　“所有 A 是 B”与“有些 A 非 B”

　　“所有 A 非 B”与“有些 A 是 B”

　　“某个 A 是 B”与“某个 A 非 B”

　　(四)反对关系

　　1. 上反对关系

　　(1)上反对关系的意义：必有一假，可以同假，不可同真

　　(2)直言命题上反对关系：“所有 A 是 B”与“所有 A 非 B”

　　2. 下反对关系

　　(1)下反对的意义：必有一真，可以同真，不可同假

　　(2)直言命题下反对关系：“有些 A 是 B”与“有些 A 非 B”