Исчисления высказываний классической логики. Гуров С.И. - 40 стр.

UptoLike

ВУЗ: 

МГУ | Москва

Составители: 

Рубрика: 

A
1
, . . . , A
l
A
l
Γ
Γ
CR
Γ
Γ
40                            Ãëàâà 1. Êëàññè÷åñêàÿ àëãåáðà ëîãèêè


   Àíàëîãè÷íî ïðåäûäóùåìó îïðåäåëÿþò âûâîä äàííîé ôîðìóëû èç
ìíîæåñòâà êîíúþíêòîâ ïî ïðàâèëó ñîãëàñèÿ. Êîíå÷íóþ ïîñëåäîâàòåëü-
íîñòü êîíúþíêòîâ A1 , . . . , Al íàçûâàþò âûâîäîì ïî ïðàâèëó ñîãëàñèÿ
ôîðìóëû Al èç ìíîæåñòâà êîíúþíêòîâ Γ, åñëè êàæäûé ýëåìåíò ýòîé
ïîñëåäîâàòåëüíîñòè ëèáî ïðèíàäëåæèò Γ, ëèáî ñëåäóåò èç êàêèõ ëèáî
ïðåäûäóùèõ ýëåìåíòîâ ïî ïðàâèëó CR. Òîãäà ñïðàâåäëèâà äâîéñòâåí-
íàÿ ê òåîðåìå 1.5
Òåîðåìà 1.6 (Î ïîëíîòå ìåòîäà ñîãëàñèÿ). Íàáîð êîíúþíêòîâ Γ
òîæäåñòâåííî èñòèíåí, åñëè è òîëüêî åñëè èç Γ ñóùåñòâóåò âûâîä
ïî ïðàâèëó ñîãëàñèÿ ïóñòîãî êîíúþíêòà.

Страницы