Cargando…
Hej logik /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Danés |
| Publicado: |
Aarhus :
Aarhus Universitetsforlag,
2017.
|
| Edición: | 1. udgave, 1. oplag. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Forside; Titelside; Kolofon; Indhold; Forord; Introduktion; Kapitel 1 Logik, logisk form og formalisering; Logik; Tænkning og perception; Argumenter og domme; Deduktive og ikke-deduktive argumenter; Begrundelse og sandhed; VF'isk; Formalisering; VF'isk grammatik; Opsummering; Øvelser; Kapitel 2 Sandhedstabeller, fortolkning og gyldighed; Gyldighed; Hej logik-maskinen; Sandhedstabeller for komplekse VF'er; Tautologiske, kontradiktoriskeog kontingente VF'er; Antal fortolkninger og sandhedsfunktioner; Opsummering; Øvelser; Kapitel 3 Semantiske træer, modeller og konsistens; Træmetoden
- Træer for de enkelte konnektiverEvaluering af VF'er med træmetoden; Evaluering af VF-argumenter med træmetoden; Opsummering; Øvelser; Kapitel 4 Prædikater, Relationerog Kvantorer; Domslogik og prædikatslogik; Vokabular i prædikatslogikken; Formalisering i prædikatslogikken; Universalkvantoren og eksistenskvantoren; Komplekse VF-prædikater; Formalisering af argumenter; Prædikatslogikken og Aristoteles' syllogismelære; Den udvidede VF'iske grammatik; Opsummering; Øvelser; Kapitel 5 Fortolkninger, semantiske træer og gyldighed i prædikatslogikken; Fortolkninger i prædikatslogikken
- Træer i prædikatslogikkenTræer for prædikatslogiske VF-argumenter; Opsummering; Øvelser; Kapitel 6 Udtrykskraft, kompleksitet og afgørbarhed; Diskursdomæner; Indlejrede kvantorer; Kvantorudtryk; Komplekse analyser; Afgørbarhed; Omskrivning; Rækkefølge; Snyd; Uendelige modeller; Opsummering; Øvelser; Kapitel 7Ækvivalens og identitet; Ækvivalens; Almindeligt forekommende ækvivalenser; Relevansen af ækvivalensrelationer; Identitet; Refleksive, symmetriske, transitive og euklidiske relationer; Logik og algebra; Er: prædikat eller identitet?; Opsummering; Øvelser; Tak; Stikordsregister