• What is Logic?
  • Logic as a Formal Deductive System
• Why Study Logic within IT?
• What is an Argument?
• Examples of Arguments
• Good and Bad Arguments
• Valid Argument
• What are Premises and Conclusions
  Made Of?
• Atomic Sentences
• Individual Constants
• Predicate Symbols
• Predicates
• Equality and Infix Notation
• Summary
• About this document ...