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

UptoLike

ВУЗ: 

МГУ | Москва

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

Рубрика: 

| N A N B
A
B
A N B
A B
| N
A N B
A B
∨|
A ∨ B
A B
|∨
A ∨ B
A B
¡
¢
|
A
¡
¢
B
B A
3. Õàðàêòåðèçàöèÿ ôîðìóë àëãåáðû âûñêàçûâàíèé                       31


| N. Åñëè ôîðìóëà A N B íàõîäèòñÿ â ïðàâîì ñòîëáöå òàáëèöû, òî
     ïðîèñõîäèò ðàñùåïëåíèå äàííîé òàáëèöû íà äâå, ïðè÷¼ì â ïðà-
     âûé ñòîëáåö ïåðâîé ïîäòàáëèöû ïîìåùàåòñÿ ôîðìóëà A, à â ïðà-
     âûé ñòîëáåö âòîðîé ïîäòàáëèöû  ôîðìóëà B , ÷òî ïîêàçàíî íà
     ðèñ. 1.2



                                      ANB

                              A
                          ADA                  
                      A                               B


         Ðèñ. 1.2: Ðàñùåïëåíèå òàáëèöû ïðè ïðèìåíåíèè ïðàâèëà | N

         Ðàñùåïëåíèå òàáëèö áóäåì îòîáðàæàòü áîëåå ýêîíîìíî: åñëè
         êàêîå-íèáóäü ïðèìåí¼ííîå ïðàâèëî ïðèâåëî ê ðàñùåïëåíèþ
         òàáëèöû, òî ïîëó÷èâøèåñÿ ïîäòàáëèöû ìû áóäåì ðàçìåùàòü
         ñðàçó â ëåâîì è ïðàâîì å¼ ñòîëáöàõ. Ýòî íå ïðèâåä¼ò ê íåäîðà-
         çóìåíèÿì, ïîñêîëüêó ïîñëå ðàñùåïëåíèÿ òàáëèöû ðàáîòà ñ íåé
         çàêàí÷èâàåòñÿ. Òàêèì îáðàçîì íàøå ïðàâèëî ìîæíî îòîáðàçèòü
         êàê
                               ANB

                          A           B


∨|.
                      A∨B

                      A           B

|∨.
                     A∨B
                     A, B

 ¡¢
    |.
                        ¡
                      A ¢B

                      B               A

Страницы