O'Reilly logo

Discrete Mathematics and Combinatorics by T. Sengadir

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 3

Logic

Learning Objectives

On completing this chapter, you should be able to:

  • identify statements

  • assign truth values to complex statements obtained by combining atomic statements with the help of logical connectives

  • identify tautologies and contradictions

  • write down the normal forms of given statements

  • prove or disprove the validity of logical implications by the methods of truth table, inference theory or automatic theorem proving

  • identify statement functions

  • formulate statements using quantifiers in addition to logical connectives

  • prove or disprove the validity of logical implications of predicate calculus by the method of inference theory

Imagine a child returning home from school. She finds a pair of slippers on the door step, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required