Chapter 01: Logic concepts