Hej logik /

Afficher d'autres versions (1)
Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Gundersen, Lars Bo (Auteur)
Format: Électronique eBook
Langue:Danés
Publié: Aarhus : Aarhus Universitetsforlag, 2017.
Édition:1. udgave, 1. oplag.
Sujets:
Logic.
PHILOSOPHY > Logic.
Logic
Accès en ligne:Texto completo
Table des matières:
  • 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

Documents similaires