Bulletin of Pure & Applied Sciences- Mathematics and Statistics
  • Year: 2016
  • Volume: 35e
  • Issue: 1

The Theory of Propositional Logics in Reference of Statement Calculus

1Associate Professor, Department of Computer science, Shri Vaishnav Institute of Management, Davi-Ahilya University, Indore-452009, Madhya Pradesh, India, Email: jayesh_tiwari2005@yahoo.com

2Professor, Department of Mathematics, Government Madhav Science College, Vikram University, Ujjain-456010, Madhya Pradesh, India, Email: rajendartiwari@yahoo.com

Online published on 28 June, 2016.

Abstract

In this article we will prove that set of Complex numbers is the set of largest number, while set of Natural numbers is the set of least numbers through logical approach of validity of argument using truth table and different logical connectives. We shall verify through Rule of Detachment and low of Syllogism. It will be proved by tautology.

Keywords

Calculus, Inference Calculus, Logics, Principles, Truth Table, Complex numbers, Natural numbers