Автоматизированное проектирование (Сборник статей): Методические указания к практическим занятиям и СРС по курсу "Дискретная математика", страница 10

Если в уравнении  какой-либо из выделенных частей объема будут свойства, связанные дизъюнкцией, то объем этой части можно разделить на еще более дробные части , и т.д. Если выделенные части объема А будут иметь все составы цветов F(A¢),… F(An), связанные в уравнениях (5)  только конъюнкцией, то дальнейшее расчленение уже самих объемов   A¢,…, An на более дробные части при исходном составе цветов F(A) исходного понятия  А невозможно.

Формализованные методы описания содержания и объема понятий применяются при анализе суждений; при этом вместо произвольных понятий рассматриваются понятия субъекта и предиката суждения.          

Построение и анализ структуры понятий, соответствующих исходному суждению, начинают с анализа содержания исходного понятия субъекта, исходного понятия предиката, а затем понятия (S,P), соответствующего полному объему исходного суждения .При анализе суждения с субъектом S и предикатом P полный объем  (S,P)предметов суждения рассматривается в качестве понятия иерархически более высокого уровня с объемом и содержанием

(S,P) = S P ,        F(S, P) = F(S) Ú F(P) ∑  .                          

По отношению к субъекту S и предикату P понятие  (S, P) будет родовым подчиняющим понятием, имеющим состав родовых свойств

                               F( S, P) = F( S)  Ù F( P)   .                                         (6)

Поскольку объединение свойств F(S, P) , как и объединение свойств  любого другого подчиняющего понятия, разделяется на состав родовых свойств и состав видовых свойств подчиненных понятий

F( S, P) = F(S, P)  Ú F( S, P)e ,                                      (7)

то состав свойств F(S,P)e, характеризующих видовые отличия подчиненных понятий  S и P ,  равен

F( S,P)e=F(S, P)  Ù( S, P)  ;     F( S, P)e = F(S, P) Ú F( S, P) ;          

где F(S, P)  и F(S, P) характеризуют видовые отличия субъекта и предиката при родовом понятии (S, P) .

Полный состав свойств F(S)   субъекта S как подчиненного понятия равен

F(S) = F(S,P) Ú F(S,P) ,     F(S,P) = F(S) Ù (S,P),              

а полный состав свойств F(P)  предиката  P  равен

F(P) = F( S, P) Ú F(S, P) ,    F(S, P)= F(P) Ù ( S, P)  .                   

При определении истинностных значений суждений путем сравнения содержания совместимых понятий субъекта и предиката нужно учитывать, что родовые свойства понятия иерархически высшего уровня, объем которого включает в себя объемы субъекта и предиката, входят и в содержание субъекта, и в содержание предиката. Поэтому сравнивать содержание субъекта и предиката следует по их видовым отличиям, так как только эти свойства характеризуют различие субъекта и предиката суждения.

Если состав родовых свойств F(S, P) равен нулю, то понятия субъекта и предиката полностью несовместимы и никакое утвердительное суждение с данными S и P не может быть истинным, а никакое отрицательное суждение не может быть ложным – в этом случае истинностные значения суждений соответствуют

               A(S, P) = 0 ,   E(S, P) = 1 ,   I(S, P) = 0 ,   O(S, P) = 1.               (8)

Если F(S, P) ¹ 0, то истинностные значения суждений могут быть определены, исходя из соотношения составов свойств F(S, P) и   F(S, P)  .  При равенстве

                     F(S, P) = F(S, P)                                                (9)

субъект и предикат являются равнозначными понятиями и истинностные значения  суждений соответствуют

           A(S, P) = 1 ,    E(S, P) = 0 ,    I(S, P) = 1 ,    O(S, P) = 0.               (10)

Если соотношение F(S, P) и   F(S, P) соответствует

              F(S, P) ¹ F(S, P)  , F(S, P) Ù F(S, P) = F(S, P) ,      (11)

то  субъект  S  является понятием, подчиненным понятию предиката P, и истинностные значения суждений также соответствуют (10). Действительно, из (11) следует, что состав свойств F(S, P) является подмножеством свойств F(S, P), поэтому, по закону обратного отношения , в этом случае S Ì P. Если соотношение видовых отличий в содержаниях S и P соответствует