4

Mathematical Logic and Methods of proofs

LEARNING OBJECTIVES

After reading this chapter, you will be conversant with:

4.1 INTRODUCTION

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 O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.