Практикум по логике: (Задачи и упражнения). Мейдер В.А. - 18 стр.

                         Ñóæäåíèå

    1. Îïðåäåëèòå âèä ñóæäåíèÿ, íàéäèòå òðè äðóãèõ ñ ïîìî-
ùüþ «ëîãè÷åñêîãî êâàäðàòà» è óñòàíîâèòå èõ èñòèííîñòü:
    à) Ìíîãèå ñëåäñòâåííûå äåéñòâèÿ èìåþò ñâîåé öåëüþ ïðî-
ôèëàêòèêó ïðàâîíàðóøåíèé.
    á) Íåçàêîííàÿ ñäåëêà ÿâëÿåòñÿ íåäåéñòâèòåëüíîé.
    â)  ñëó÷àÿõ, ïðåäóñìîòðåííîì çàêîíîäàòåëüñòâîì, þðè-
äè÷åñêàÿ ïîìîùü ãðàæäàíàì îêàçûâàåòñÿ áåñïëàòíî.
    ã) Íå âñå âûäàþùèåñÿ ìóçûêàíòû èìåëè àáñîëþòíûé ñëóõ.
    ä) Íè îäèí ðàá íå îáëàäàåò ïðàâàìè ãðàæäàíèíà.
    å) Âîëêè ïîõîæè íà ñîáàê.
    æ) Êèò íå ÿâëÿåòñÿ ðûáîé.
    ç) Âñå ñâèäåòåëè äàþò ïðàâäèâûå ïîêàçàíèÿ.
    è) Íåêîòîðûå áîëåçíè ïîêà íåèçëå÷èìû.
    ê) Íåêîòîðûå ïðîñòóïêè íå ÿâëÿþòñÿ ïðåäíàìåðåííûìè.
    ë) Íè îäíî ìëåêîïèòàþùåå íå æèâåò â âîäå.
    ì) Èíîãäà ëþäè îïàçäûâàþò íà ðàáîòó.
    í) Íåâåðíî, ÷òî âñå äåòè ïîñëóøíû.
     2. Ïðîèçâåäèòå îòðèöàíèå ñëîæíîãî ñóæäåíèÿ, ïðåäâàðè-
òåëüíî çàïèñàâ â âèäå ôîðìóëû åãî ñòðóêòóðó:
    à) Îí ÿâëÿåòñÿ ïîýòîì è øàõìàòèñòîì.
    á) Íåâåðíî, ÷òî ýòîò ïèñàòåëü — äðàìàòóðã èëè ïîýò.
    â) Åñëè ñòóäåíò — ÷ëåí ÍÑÎ, òî îí çàíèìàåòñÿ íàó÷íîé
ðàáîòîé è âûñòóïàåò ñ ëåêöèÿìè ïî èçáðàííîé òåìå.
    ã) Åñëè ìíå äàäóò îòïóñê ëåòîì, òî ÿ ïîåäó îòäûõàòü ê
ìîðþ èëè ïî òóðèñòè÷åñêîé ïóòåâêå â Êàðïàòû.
    3. ßâëÿþòñÿ ëè ëîãè÷åñêè èñòèííûìè ñëåäóþùèå ñëîæíûå
ñóæäåíèÿ?
     à) A V A; á) A → (A V B); â) A → (B Λ A); ã) A → (B V A);
ä) (A Λ B) → A.
    4. ßâëÿþòñÿ ëè ëîãè÷åñêè ýêâèâàëåíòíûìè ñëåäóþùèå ïàðû
ñóæäåíèé?
     à) A V B è A Λ B; á) A → B è A Λ B; â) A Λ B è A V B;
ã) A → (B → A) è A → (B V A); ä) A → B è A V B.


                             18