Discrete mathematics

 

1 Propositional Calculus

Syllabus

Propositional Logic - logic, Propositional equaivalences, Application of Propositional Logic - Translating English Sentences,

Contents

1.1 Introduction

1.2 Statements or Propositions

1.3 Laws of Formal Logic

1.4 Connectives and Compound Statements

1.5 Propositional or Statement Formula

1.6 Tautology

1.7 Contradiction

1.8 Contingency

1.9 Precedence Rule

1.10 Logical Equivalence

1.12 The Duality Principle

1.13 Logical Implication

1.14 Important Connectives

1.15 Normal Forms Conjunctive Normal Form (cnf)