Logic and Discrete Mathematics

Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction

This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.

Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in this accompanying solutions manual.

Preface vii

About the Companion Website ix

1. Preliminaries 1

2. Sets, Relations, Orders 5

3. Propositional Logic 29

4. First-Order Logic 57

5. Number Theory 99

6. Combinatorics 130

7. Graph Theory 159

Willem Conradie is a senior lecturer in the Department of Mathematics at the University of Johannesburg, South Africa. For the past 9 years he has been teaching second and third year undergraduate courses based on drafts of the proposed book.

Valentin Goranko is an associate professor at the Department of Informatics and Mathematical Modeling of the Technical University of Denmark. His main research interests are in theory and applications of logic to computer science and artificial intelligence. He has published about 75 authored and co-authored research papers and 3 chapters in research books and handbooks.

Claudette Robinson is a PhD student and lecturer in the Department of Mathematics at the University of Johannesburg, South Africa.