Ýêâèâàëåíòíîñòè

 íåêîòîðûõ ñëó÷àÿõ ñëîæíîå è äëèííîå âûñêàçûâàíèå ìîæíî çàïèñàòü áîëåå êîðîòêèì è ïðîñòûì áåç íàðóøåíèÿ èñòèííîñòè èñõîäíîãî âûñêàçûâàíèÿ. Ýòî ìîæíî âûïîëíèòü ñ èñïîëüçîâàíèåì íåêîòîðûõ ýêâèâàëåíòíûõ ñîîòíîøåíèé.

Äèçúþíêöèÿ:

õ

õ õ õ ... õ õ õ= õ ,

ò.å. èñòèííîñòü âûñêàçûâàíèÿ íå èçìåíèòñÿ, åñëè åãî çàìåíèòü áîëåå êîðîòêèì, òàêèì îáðàçîì, ýòî ïðàâèëî ïðèâåäåíèÿ ïîäîáíûõ ÷ëåíîâ:

x v x = 1 1

x = 1

– ïîñòîÿííî èñòèííîå âûñêàçûâàíèå.

0

x = x

x1

x2 = x2 x1

- (ïåðåìåñòèòåëüíûé) êîììóíèêàòèâíûé çàêîí.

x1

õ2 õ3 = (x1 õ2) õ3 = x1 (õ2 õ3)

- ñî÷åòàòåëüíûé çàêîí.

Êîíúþíêöèÿ:

õ

õ õ õ... õ õ õ= õ

ïðàâèëî ïðèâåäåíèÿ ïîäîáíûõ ÷ëåíîâ:

1

x = õ

0

x = 0 - ïîñòîÿííî ëîæíîå âûñêàçûâàíèå

x

 x = 0 - ïîñòîÿííî ëîæíîå âûñêàçûâàíèå

Ñîäåðæàíèå ðàçäåëà

---

---

---

Ãëàâíàÿ ñàéòà

---