Formel logik

Om bogen

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 uddannelsesinstitutioner i Storbritannien, Australien og USA.

Med denne oversættelse foreligger den nu for første gang på dansk.

Indholdsfortegnelse

Download indholdsfortegnelse (pdf-format)

Læseprøve

Download læseprøve (pdf-format)

Tilgængelighed

E-bogen er delvis tilgængelig. Teksten er læsbar med skærmlæser, har navigerbar indholdsfortegnelse, er i læserækkefølge og er korrekt struktureret med overskrifter. Findes e-bogen som EPUB gør det sig yderligere gældende, at alt tekstindhold kan modificeres. E-bogen er undtaget fra at indfri tilgængelighedskravet om alternative tekster grundet uforholdsmæssig stor byrde.