Mathematical Logic and Methods of proofs


After reading this chapter, you will be conversant with:


Logic is the discipline that deals with the principles and techniques of reasoning, that are required to recognise valid arguments. Logical reasoning was first developed by the Greek philosopher Aristotle (384–322 BC) who is known as the father of logic. Logic plays an important role in every area of all mathematical and automated reasoning. It is used ...

Get Discrete Mathematical Structures now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.