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

ïîíÿòèÿ èëè ñóæäåíèÿ; çíàêîâ ëîãè÷åñêèõ ñâÿçîê èëè ñîþçîâ;
òåõíè÷åñêèõ çíàêîâ, êîòîðûå îáîçíà÷àþòñÿ ñêîáêàìè.
     Â ëîãèêå âûñêàçûâàíèé ôðàçû åñòåñòâåííîãî ÿçûêà ïåðå-
âîäÿòñÿ íà ÿçûê ëîãèêè âûñêàçûâàíèé. Âûãëÿäèò ýòî ñëåäóþ-
ùèì îáðàçîì: âî ôðàçå âûäåëÿþò ÷àñòè, ñîåäèíåííûå ëîãè÷åñ-
êèìè ñîþçàìè, ýòè ÷àñòè îáîçíà÷àþò áóêâàìè è ñîåäèíÿþò ýòè-
ìè ñîþçàìè.
     Ï ð è ì å ð.
         Åñëè âåùè âîâñå íåñïîñîáíû áûòü îáúåêòîì ÷üåé-ëèáî ñîá-
         ñòâåííîñòè èëè, áóäó÷è òàêèì îáúåêòîì, îáúÿâëåíû ïî çàêî-
         íó íåîò÷óæäàåìûìè, îíè ñ÷èòàþòñÿ èçúÿòûìè èç îáîðîòà.
    Îáîçíà÷èì áóêâàìè ñëåäóþùèå ÷àñòè:
      À — âåùè, âîâñå íåñïîñîáíûå áûòü îáúåêòîì ÷üåé-ëèáî ñîá-
          ñòâåííîñòè;
      Â — âåùè ÿâëÿþòñÿ òàêèì îáúåêòîì;
      Ñ — âåùè îáúÿâëåíû ïî çàêîíó íåîò÷óæäàåìûìè;
      D — âåùè ñ÷èòàþòñÿ èçúÿòûìè èç îáîðîòà.
    Èñïîëüçóÿ ëîãè÷åñêèå ñîþçû è òåõíè÷åñêèå çíàêè, ïîëó-
÷àåì ñëåäóþùóþ ôîðìóëó:
                     [(À\/ (B & C)) —> D].
     Ôîðìóëû, êîòîðûå ìû ïîëó÷àåì â ðåçóëüòàòå ïåðåâîäà ôðàç
åñòåñòâåííîãî ÿçûêà íà ëîãè÷åñêèé ÿçûê, ìîãóò áûòü òðåõ âèäîâ:
     • òîæäåñòâåííî èñòèííûå, ò. å. èñòèííûå âñåãäà, êàêèå áû
çíà÷åíèÿ ìû íè ïîäñòàâëÿëè â íèõ âìåñòî áóêâ;
     • òîæäåñòâåííî ëîæíûå, ò. å. ëîæíûå ïðè êàêèõ óãîäíî çíà-
÷åíèÿõ ñâîèõ ïåðåìåííûõ;
     • íåéòðàëüíûå, ò. å. ïðè îäíèõ çíà÷åíèÿõ ïåðåìåííûõ ëîæ-
íûå, à ïðè äðóãèõ — èñòèííûå.
     Îäíîé èç çàäà÷ èñ÷èñëåíèÿ â ëîãèêå âûñêàçûâàíèé ÿâëÿ-
åòñÿ âûÿñíåíèå, ê êàêîìó èç òðåõ äàííûõ âèäîâ îòíîñèòñÿ äàí-
íàÿ ôîðìóëà, çàïèñàííàÿ ñèìâîëè÷åñêèì ÿçûêîì ëîãèêè. Áîëåå
ïîäðîáíî îïåðàöèè ëîãèêè âûñêàçûâàíèé áóäóò ðàññìîòðåíû â
äàëüíåéøåì.

             2.3. ÔÓÍÊÖÈÎÍÀËÜÍÛÉ     ÀÍÀËÈÇ ßÇÛÊÀ

     Ñ òî÷êè çðåíèÿ ëîãèêè âàæíûì ÿâëÿåòñÿ ïðîâåäåíèå ðàç-
ëè÷èÿ ìåæäó äâóìÿ âàæíûìè ôóíêöèÿìè ÿçûêà: îïèñàòåëüíîé
è îöåíî÷íîé.

                                                              19