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