UID:
almafu_9961373352502883
Format:
1 online resource (171 pages)
Edition:
1. udgave, 1. oplag.
ISBN:
87-7184-487-2
Note:
Forside; Titelside; Kolofon; Indhold; Forord; Introduktion; Kapitel 1 Logik, logisk form og formalisering; Logik; Taenkning og perception; Argumenter og domme; Deduktive og ikke-deduktive argumenter; Begrundelse og sandhed; VF'isk; Formalisering; VF'isk grammatik; Opsummering; Ovelser; 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; Ovelser; Kapitel 3 Semantiske traeer, modeller og konsistens; Traemetoden
,
Traeer for de enkelte konnektiverEvaluering af VF'er med traemetoden; Evaluering af VF-argumenter med traemetoden; Opsummering; Ovelser; Kapitel 4 Praedikater, Relationerog Kvantorer; Domslogik og praedikatslogik; Vokabular i praedikatslogikken; Formalisering i praedikatslogikken; Universalkvantoren og eksistenskvantoren; Komplekse VF-praedikater; Formalisering af argumenter; Praedikatslogikken og Aristoteles' syllogismelaere; Den udvidede VF'iske grammatik; Opsummering; Ovelser; Kapitel 5 Fortolkninger, semantiske traeer og gyldighed i praedikatslogikken; Fortolkninger i praedikatslogikken
,
Traeer i praedikatslogikkenTraeer for praedikatslogiske VF-argumenter; Opsummering; Ovelser; Kapitel 6 Udtrykskraft, kompleksitet og afgorbarhed; Diskursdomaener; Indlejrede kvantorer; Kvantorudtryk; Komplekse analyser; Afgorbarhed; Omskrivning; Raekkefolge; Snyd; Uendelige modeller; Opsummering; Ovelser; Kapitel 7AEkvivalens og identitet; AEkvivalens; Almindeligt forekommende aekvivalenser; Relevansen af aekvivalensrelationer; Identitet; Refleksive, symmetriske, transitive og euklidiske relationer; Logik og algebra; Er: praedikat eller identitet?; Opsummering; Ovelser; Tak; Stikordsregister
Additional Edition:
ISBN 87-7124-978-8
Language:
Danish
Bookmarklink
