Hej logik / Lars Bo Gundersen.

Format:

Book

Author/Creator:

Gundersen, Lars Bo, author.

Language:

Danish

Subjects (All):

Logic.

Physical Description:

1 online resource (171 pages)

Edition:

1. udgave, 1. oplag.

Place of Publication:

Aarhus : Aarhus Universitetsforlag, 2017.

Summary:

Hej logik giver en pAedagogisk indforing i klassisk logik.Med eksempler og ovelser guider forfatteren lAeseren igennem centrale temaer i doms- og prAedikatslogikken: Hvordan gyldighed hAenger sammen med logisk form, hvordan man afdAekker logiske strukturer ved at formalisere elementerne i et argument, og hvordan man analyserer logisk form ved at.

Contents:

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

Notes:

Description based on print version record.

Description based on publisher supplied metadata and other sources.

ISBN:

87-7184-487-2

OCLC:

1036110445