Detailled plan

Introduction

Chapter 1 : Logic concepts

Section 1: Definitions 

Section 2: Operators

Section 3: Predicates and quantifiers

Section 4: Methods of proof 

Chapter 2 : Sets and applications

Section 1: Sets

Section 2: Set operations

Section 3: Applications