Title: INTRODUCTION TO LOGIC AND SETS