Логика. Гуляихин В.Н - 42 стр.

UptoLike

Рубрика: 

42
4.3. ÑËÎÆÍÛÅ ÑÓÆÄÅÍÈß
Ñóæäåíèÿ, êîòîðûå îáðàçóþòñÿ èç ïðîñòûõ ñóæäåíèé ïðè
ïîìîùè ëîãè÷åñêèõ ñîþçîâ, íàçûâàþòñÿ ñëîæíûìè.
Îñíîâíûìè ëîãè÷åñêèìè ñîþçàìè ÿâëÿþòñÿ: êîíúþíêöèÿ
— ëîãè÷åñêèé ñîþç «è» èìååò ÷èñòî ñîåäèíèòåëüíîå çíà÷åíèå,
íåèñêëþ÷àþùàÿ (ñëàáàÿ) äèçúþíêöèÿ — ëîãè÷åñêèé ñîþç «èëè»
èìååò ñîåäèíèòåëüíî-ðàçäåëèòåëüíîå çíà÷åíèå, èñêëþ÷àþùàÿ
(ñèëüíàÿ) äèçúþíêöèÿ — ëîãè÷åñêèé ñîþç «ëèáî... , ëèáî...» èìå-
åò ÷èñòî ðàçäåëèòåëüíîå çíà÷åíèå, èìïëèêàöèÿ — ëîãè÷åñêèé
ñîþç «åñëè... , òî...» êàêèì-òî îáðàçîì (íå îáÿçàòåëüíî ïî ñìûñ-
ëó) ñîåäèíÿåò äâà ñóæäåíèÿ, ñâÿçàííûå ìåæäó ñîáîé (ãðàììà-
òè÷åñêèé ñîþç «åñëè... , òî...», â îòëè÷èå îò ëîãè÷åñêîãî, îáúå-
äèíÿåò ïðåäëîæåíèÿ îáÿçàòåëüíî ñâÿçàííûå ïî ñìûñëó), ýêâè-
âàëåíòíîñòü — ëîãè÷åñêèé ñîþç «òîãäà è òîëüêî òîãäà, êîãäà...»
(«åñëè è òîëüêî åñëè...») îáúåäèíÿåò äâà ñóæäåíèÿ, ñâÿçàííûå
îäíîçíà÷íîé çàâèñèìîñòüþ.
Âèä ñëîæíîãî ñóæäåíèÿ îïðåäåëÿåòñÿ ïî ãëàâíîìó ëîãè-
÷åñêîìó ñîþçó: åñëè ãëàâíûì ëîãè÷åñêèì ñîþçîì â äàííîì ñóæäå-
íèè ÿâëÿåòñÿ êîíúþíêöèÿ, òî ýòî êîíúþíêòèâíîå ñóæäåíèå, äèçú-
þíêöèÿ — äèçúþíêòèâíûì è ò. ä.
Íåîáõîäèìî ðàçëè÷àòü ãðàììàòè÷åñêîå è ëîãè÷åñêîå çíà-
÷åíèå ïåðå÷èñëåííûõ âûøå ñîþçîâ. Ëîãè÷åñêîå çíà÷åíèå ýòèõ
ñîþçîâ çàäàåòñÿ ñ ïîìîùüþ òàáëèöû èñòèííîñòè.
Òàáëèöà
Óñëîâèÿ èñòèííîñòè ñëîæíûõ ñóæäåíèé
Первое
простое
суждение
Второе
простое
суждение
Конъюнкция
Слабая
дизъюнкция
Сильная
дизъюнкция
Импликация Эквивалентность
истинное истинное истинное Истинное ложное Истинное истинное
истинное ложное ложное Истинное истинное Ложное ложное
ложное истинное ложное Истинное истинное Истинное ложное
ложное ложное ложное Ложное ложное Истинное истинное
4.4. ÌÎÄÀËÜÍÎÑÒÜ ÑÓÆÄÅÍÈß
Ïîä ìîäàëüíîñòüþ â ôîðìàëüíîé ëîãèêå ïîíèìàþò âûðàæåí-
íóþ â ñóæäåíèè äîïîëíèòåëüíóþ îöåíî÷íóþ èíôîðìàöèþ î ñâÿçÿõ
ìåæäó ÿâëåíèÿìè, î ëîãè÷åñêîì ñòàòóñå ñóæäåíèÿ, î ðåãóëÿòèâíûõ,
âðåìåííûõ è äðóãèõ åãî õàðàêòåðèñòèêàõ.
                            4.3. ÑËÎÆÍÛÅ         ÑÓÆÄÅÍÈß


     Ñóæäåíèÿ, êîòîðûå îáðàçóþòñÿ èç ïðîñòûõ ñóæäåíèé ïðè
ïîìîùè ëîãè÷åñêèõ ñîþçîâ, íàçûâàþòñÿ ñëîæíûìè.
     Îñíîâíûìè ëîãè÷åñêèìè ñîþçàìè ÿâëÿþòñÿ: êîíúþíêöèÿ
— ëîãè÷åñêèé ñîþç «è» èìååò ÷èñòî ñîåäèíèòåëüíîå çíà÷åíèå,
íåèñêëþ÷àþùàÿ (ñëàáàÿ) äèçúþíêöèÿ — ëîãè÷åñêèé ñîþç «èëè»
èìååò ñîåäèíèòåëüíî-ðàçäåëèòåëüíîå çíà÷åíèå, èñêëþ÷àþùàÿ
(ñèëüíàÿ) äèçúþíêöèÿ — ëîãè÷åñêèé ñîþç «ëèáî... , ëèáî...» èìå-
åò ÷èñòî ðàçäåëèòåëüíîå çíà÷åíèå, èìïëèêàöèÿ — ëîãè÷åñêèé
ñîþç «åñëè... , òî...» êàêèì-òî îáðàçîì (íå îáÿçàòåëüíî ïî ñìûñ-
ëó) ñîåäèíÿåò äâà ñóæäåíèÿ, ñâÿçàííûå ìåæäó ñîáîé (ãðàììà-
òè÷åñêèé ñîþç «åñëè... , òî...», â îòëè÷èå îò ëîãè÷åñêîãî, îáúå-
äèíÿåò ïðåäëîæåíèÿ îáÿçàòåëüíî ñâÿçàííûå ïî ñìûñëó), ýêâè-
âàëåíòíîñòü — ëîãè÷åñêèé ñîþç «òîãäà è òîëüêî òîãäà, êîãäà...»
(«åñëè è òîëüêî åñëè...») îáúåäèíÿåò äâà ñóæäåíèÿ, ñâÿçàííûå
îäíîçíà÷íîé çàâèñèìîñòüþ.
     Âèä ñëîæíîãî ñóæäåíèÿ îïðåäåëÿåòñÿ ïî ãëàâíîìó ëîãè-
÷åñêîìó ñîþçó: åñëè ãëàâíûì ëîãè÷åñêèì ñîþçîì â äàííîì ñóæäå-
íèè ÿâëÿåòñÿ êîíúþíêöèÿ, òî ýòî êîíúþíêòèâíîå ñóæäåíèå, äèçú-
þíêöèÿ — äèçúþíêòèâíûì è ò. ä.
     Íåîáõîäèìî ðàçëè÷àòü ãðàììàòè÷åñêîå è ëîãè÷åñêîå çíà-
÷åíèå ïåðå÷èñëåííûõ âûøå ñîþçîâ. Ëîãè÷åñêîå çíà÷åíèå ýòèõ
ñîþçîâ çàäàåòñÿ ñ ïîìîùüþ òàáëèöû èñòèííîñòè.
                                                         Òàáëèöà
            Óñëîâèÿ èñòèííîñòè ñëîæíûõ ñóæäåíèé
  Первое     Второе
                                      Слабая       Сильная
  простое    простое   Конъюнкция                             Импликация   Эквивалентность
                                    дизъюнкция   дизъюнкция
 суждение   суждение
 истинное   истинное    истинное    Истинное      ложное      Истинное        истинное
 истинное    ложное     ложное      Истинное      истинное     Ложное         ложное
  ложное    истинное    ложное      Истинное      истинное    Истинное        ложное
 ложное     ложное      ложное       Ложное       ложное      Истинное        истинное



                         4.4. ÌÎÄÀËÜÍÎÑÒÜ         ÑÓÆÄÅÍÈß

     Ïîä ìîäàëüíîñòüþ â ôîðìàëüíîé ëîãèêå ïîíèìàþò âûðàæåí-
íóþ â ñóæäåíèè äîïîëíèòåëüíóþ îöåíî÷íóþ èíôîðìàöèþ î ñâÿçÿõ
ìåæäó ÿâëåíèÿìè, î ëîãè÷åñêîì ñòàòóñå ñóæäåíèÿ, î ðåãóëÿòèâíûõ,
âðåìåííûõ è äðóãèõ åãî õàðàêòåðèñòèêàõ.
42