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

4                                                            Îãëàâëåíèå


    5   Òèïû ëîãè÷åñêèõ èñ÷èñëåíèé è èõ ïðåäñòàâëåíèÿ . . . .            81
        5.1   ÈÂ ãèëüáåðòîâñêîãî òèïà . . . . . . . . . . . . . .        81
        5.2   Âûâîäèìîñòü êàê îïåðàòîð çàìûêàíèÿ . . . . . . .           86

3 Ãåíöåíîâñêèå èñ÷èñëåíèÿ âûñêàçûâàíèé                                   88
    1   Èñ÷èñëåíèå N íàòóðàëüíîãî òèïà . . . . . . . . . . . . .         88
        1.1   Îïðåäåëåíèå ÈÑ íàòóðàëüíîãî òèïà N . . . . . . .           89
        1.2   Äîêàçàòåëüñòâî â âèäå äåðåâà. Íîâûå äîïóñòèìûå
              ïðàâèëà â N . . . . . . . . . . . . . . . . . . . . . .    96
        1.3   Îñíîâíûå ñâîéñòâà ÈÑ N . . . . . . . . . . . . . .        102
        1.4   Ìåòàòåîðèÿ ÈÑ N . . . . . . . . . . . . . . . . . .       106
    2   Èñ÷èñëåíèå S ñåêâåíöèàëüíîãî òèïà . . . . . . . . . . .         112
        2.1   Îïðåäåëåíèå ÈÑ S . Ñâîéñòâî ïîäôîðìóëüíîñòè
              ïðàâèë âûâîäà . . . . . . . . . . . . . . . . . . . . .   112
        2.2   Ñâîéñòâà ÈÑ S è ïîèñê äîêàçàòåëüñòâ . . . . . .           116
        2.3   Äîïóñòèìîñòü ñå÷åíèÿ. Ýêâèâàëåíòíîñòü ÈÑ S è
              ÈÂ H1 . . . . . . . . . . . . . . . . . . . . . . . . .   123

Ïåðñîíàëèÿ è àâòîðñêèé óêàçàòåëü                                        126
Ñïèñîê ëèòåðàòóðû                                                       134