Siddhant- A Journal of Decision Making
  • Year: 2014
  • Volume: 14
  • Issue: 2

The theory of inference for statement calculus

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.

Keywords

Calculus, Inference Calculus, Logics, Principles, Truth Table