INTRODUCTION TO LOGIC AND SETS