Answers and Solutions

From Logic

Jump to: navigation, search

Answers and Solutions to Selected Problems

Davies, Ekenberg, Thorbiörnson: Propositional Logic - An Introduction

Chapter 2, Introduction to Sentence Logic

Chapter 3, The Language SL

Chapter 4, Deductions and Arguments

Chapter 5, Rule Systems



Davies, Ekenberg, Thorbiörnson: Logic - Basics and Beyond

Chapter 2, Introduction to Sentence Logic

Chapter 3, The Language SL

Chapter 4, Deductions and Arguments

Chapter 5, Rule Systems

Chapter 6, Set Theory

Chapter 7, Relations and Functions

Chapter 8, Predicate Logic

Chapter 9, The Language PL

Chapter 10, Deduction in Predicate Logic


Errata

2010-03-02: Kapitel 9, övningsuppgift 9.1. Lösningen är nu korrigerad.

2010-03-04: Facit till övningsuppgifterna till kapitel 8 var felnumrerade så att facit till övning 8.1 betecknades 8.3 i facit, etc. Facit är nu korrigerat.

2010-03-28 Övningsuppgift 2.6 e). Facit är nu korrigerat till korrekt uttryck D -> P.