The theory of inference for statement calculus Tiwari Jayesh K.1,*, Associate Professor, Tiwari Rajendra2, Professor 1Department of Computer Science, Shri Vaishnav Institute of Management, Davi-Ahilya University, Indore-452009, Madhya Pradesh, India. 2Department of Mathematics, Government Madhav Science College, Vikram University, Ujjain-456010, Madhya Pradesh, India. Email: rajendartiwari@yahoo.com *Corresponding author Email: jayesh_tiwari2005@yahoo.com
Abstract In this article we are trying to prove how to get success through logical approach of validity of argument using truth table and different logical connectives. It will be proved by tautology. Top Keywords Calculus, Inference Calculus, Logics, Principles, Truth Table. Top |