INTRODUCTION TO LOGIC