LOGIC

SLIDES FOR INTRODUCTION TO LOGIC

 

A pdf version of this document can be found HERE.

The file contains the class material for the following items:

  1. Definition of propositional calculus.
  2. Definition of proposition.
  3. Definition of declarative sentence. Examples.
  4. Formalization and formal languages.
  5. Simple and compound statements. Examples.
  6. Connectives: negation, disjunction, exclusive or, conjunction, implication and biconditional.
  7. Table truth for those connectives.
  8. Converse, contrapositive and inverse of an implication.
  9. Translating English sentences.
Go to top