| Kiadó: | Tankönyvkiadó |
|---|---|
| Kiadás helye: | Budapest |
| Kiadás éve: | |
| Kötés típusa: | Ragasztott papírkötés |
| Oldalszám: | 156 oldal |
| Sorozatcím: | |
| Kötetszám: | |
| Nyelv: | Magyar |
| Méret: | 24 cm x 17 cm |
| ISBN: | |
| Megjegyzés: | Tankönyvi száma: J 1-202. Ábrákkal illusztrálva. |
| Az alternáló (kétértékű) logika tárgya | 3 |
| Kijelentéskalkulus | 10 |
| A kijelentések durva szerkezetének elemzése | 10 |
| A negáció | 11 |
| A konjunkció | 13 |
| Az alternáló kijelentéskalkulus műveletének fogalma | 18 |
| A negáció és a konjunkció néhány kombinációja | 20 |
| A diszjunkció | 23 |
| Implikáció | 27 |
| Ekvivalencia és kizáró "vagy" | 37 |
| Formalizálás és interpretáció | 41 |
| A kijelentéskalkulus következményfogalma | 44 |
| A kijelentéskalkulus nevezetesebb következtetései sémái | 50 |
| Osztálykalkulus | 53 |
| Predikátumok és osztályok | 53 |
| Műveletek osztályokkal | 56 |
| Az osztálykalkulus alkalmazása fogalmak kapcsolatainak ábrázolására | 62 |
| Kijelentések formalizálása az osztálykalkulusban | 66 |
| Következtetések az osztálykalkulusban | 75 |
| Kombinált következtetések: kitekintés | 85 |
| Predikátumkalkulus | 93 |
| Többargumentumu predikátumok | 93 |
| Kvantorok | 98 |
| A predikátumkalkulus alapfogalmai | 106 |
| Következtetések a predikátumkalkulusban | 111 |
| Az azonosság formalizálása | 117 |
| Áttekintő megjegyzések | 128 |
| Függelék: A normák logikája (Deóntikus logika) | 133 |
| A deóntikus logika fogalma | 133 |
| Az aktusok algebrája | 136 |
| A deóntikus logika alaptörvényei | 140 |
| Néhány deóntikus tétel | 146 |
| A feltételes kötelezés | 150 |
A borító elszíneződött, gerince foltos. A lapélek és több lap foltos. A címlapon tulajdonosi bejegyzés látható.
