Formel logik / af Stephen Read & Crispin Wright ; oversttelse: Lars Bo Gundersen og Jens Kristian Mathiasen.

Format:

Book

Author/Creator:

Read, Stephen.

Contributor:

Wright, Crispin, 1942-

Gundersen, Lars Bo.

Mathiasen, Jens Kristian.

Standardized Title:

Formal logic. Danish

Language:

Danish

Subjects (All):

Logic.

Physical Description:

1 online resource (93 p.)

Place of Publication:

Arhus : Aarhus Universitetsforlag, 2006.

Language Note:

Danish

Summary:

Formel logik er en grundlæggende, lettilgængelig indføring i klassisk doms- og prædikatslogik beregnet til undervisning på universitetsniveau. Den fokuserer på de semantiske metoder - sandhedstabeller og semantiske træer - frem for bevisteori. Derved giver den et klart og let tilgængeligt overblik over logiske nøglebegreber som 'gyldighed', 'formalisering', 'fortolkning', 'model' og 'modeksempel'. Dens kontante og præcise form såvel som de mange pædagogiske eksempler og øvelser har gjort den til en populær lærebog til introducerende logikkurser i gymnasiet og på videregående uddannelsesinstitu

Contents:

Omslag; Forside; Titelside; Kolofon; Indholdsfortegnelse; Kapitel 1. Hvad er formel logik?; Kapitel 2. Formalisering; Kapitel 3. Sandhedstabeller; Kapitel 4. Semantiske træer for domslogik; Kapitel 5. Syntaks for prædikatslogikken; Kapitel 6. Modeller og modeksempler; Kapitel 7. Semantiske træer for prædikatslogikken; Appendiks: Oversigt over den logiske syntaks samt de semantiske træ-regler. Syntaks

Notes:

Description based upon print version of record.

ISBN:

87-7934-949-8

OCLC:

819616670