CONTENTS

Unit 1: Introduction to Symbolic Logic                                                    9
1.1 Nature & Scope
1.2 Development of Symbolic Logic
1.3 Utility and their uses
1.4 Exercises
Unit II: Logical Connectives and Symbolization                                     17
1.1 Sentence, proposition and statement
1.2 Nature of Proposition (Statement)
1.3. Simple and Compound Statements
1.4 Proposition and their symbolization
1.5 Logical Connective: Constants and Variables
1.6 Five Basic Truth Functional Connectives and Compounds
1.7 Different rules of symbolization
1.8 Symbolization of Everyday language: (Exercises)
Unit III: Truth Function and Truth Table Method                                     41
1.1 Introduction
1.2 The special symbols of Propositional logic:
1.3 Symbolizing compound propositions
1.4 Symbolizing Compound Propositions
1.5 Inter definability of logical connectives
1.6 Truth table method for testing validity of argument:
2.1 Determining Tautology, Contradiction and Contingent statements

3.1 Indirect Truth Table Method                                                               75
3.2 Decision Procedure
Unit IV: Method of Deduction
1. The Method of Deduction
2.1 Rules of Inference:
2.2 Derivation Rules:
3. Construction of Formal Proof of validity for argument: Tips for doing Derivation: