-->
|
|
|
§ 1.3. Ýëåìåíòû àëãåáðû ëîãèêè Ïîóðî÷íûå ïëàíû, èíòåðàêòèâ1.3.4. Ñâîéñòâà ëîãè÷åñêèõ îïåðàöèéÐàññìîòðèì îñíîâíûå ñâîéñòâà ëîãè÷åñêèõ îïåðàöèé, íàçûâàåìûõ òàêæå çàêîíàìè àëãåáðû ëîãèêè. 1. Ïåðåìåñòèòåëüíûé (êîììóòàòèâíûé) çàêîí:
2. Ñî÷åòàòåëüíûé (àññîöèàòèâíûé) çàêîí:
Ïðè îäèíàêîâûõ çíàêàõ îïåðàöèé ñêîáêè ìîæíî ñòàâèòü ïðîèçâîëüíî èëè âîîáùå îïóñêàòü. 3. Ðàñïðåäåëèòåëüíûé (äèñòðèáóòèâíûé) çàêîí:
4. Çàêîí äâîéíîãî îòðèöàíèÿ:
Äâîéíîå îòðèöàíèå èñêëþ÷àåò îòðèöàíèå. 5. Çàêîí èñêëþ÷¸ííîãî òðåòüåãî:
Èç äâóõ ïðîòèâîðå÷èâûõ âûñêàçûâàíèé îá îäíîì è òîì æå ïðåäìåòå îäíî âñåãäà èñòèííî, à âòîðîå — ëîæíî, òðåòüåãî íå äàíî.
|
|
|