.

0 (hodnocen0 x )

BK

1. vyd.

Praha : Academia, 1989

126 s. : il. ; 24 cm

ISBN 80-200-0107-7 (brož.)

Studie ČSAV, ISSN 0577-3652 ; č. 13/1989

Obsahuje bibliografii a rejstřík

Anglické a ruské resumé

000060792

Předmluva // ČÁST I. // 1. Úvod do problematiky 11 // 2. Vznik dekompoziční tabulky 15 // 3. Základní pojmy 22 // 4. Operace v dekompoziční tabulce 2 7 // 4.1. Izotopní operace 28 // 4.2. Anizotopní operace 33 // 4.3. Redukce dekompoziční tabulky 43 // 5. Důkaz formulí výrokové logiky 48 // 6. Kompozice formule 54 // 7. Alternativní způsob sestrojení dekompoziční tabulky 59 // ČÁST II. // 8. Použití dekompoziční tabulky pro formule výrokové logiky, // v nichž se vyskytují funktory ekvivalence a nonekvivalence 65 // 8.1. Izotopní operace 66 // 8.2. Anizotopní operace 68 // 9. Důkaz formule s funktory ekvivalence a nonekvivalence 78 // ČÁST III. // 10. Použití dekompoziční tabulky při důkazech a transformacích // formulí predikátového kalkulu prvého řádu 81 // 10.1. Izotopní operace 82 // 10.2. Anizotopní operace 91 // 11. Kompozice formulí 113 // Závěr 117 // Literatura 119 // Summary 121 // ... 123 // Rejstřík 125

(OCoLC)21677289

cnb000053153