Subject > Math > Boolean Algebra > Mathematical Logic

Mathematical Logic

Application of Logic in solving simple problems

Argument

An argument is a statement which assets that a given set of n compound statements p₁,p₂,..........p_n yield another compound statement Q.

This is denoted by

where p₁,p₂,..........p_n are called hypotheses or premises or assumptions.

The compound statement Q is called the conclusion.

The argument p₁, p₂,...., p_n Q is defined to be true if Q is true whenever p₁,p₂,..........p_n are all true.

Otherwise, the argument is defined to be false.

A true argument is also called a valid argument.

Useful steps for solving problems:

Step i: Identify the component statements in the given argument and denote these as p, q, r,ЕЕ

Step ii: Identify the assumptions and denote these as p₁,p₂,p₃....

Step iii: Identify the conclusion as Q.

Step iv: Express p₁,p₂,p₃...., Q in terms of p, q, r,ЕЕ

Step v: Find the truth values of p₁,p₂,p₃...., Q

Step vi: If Q is true whenever p₁,p₂,p₃.... are all true, then the argument p₁, p₂,...

Q is valid, otherwise it is invalid.

Get FREE Live Tutoring

(No credit card required)

Click to get customer service, technical support and subscription help.

Get One Month Free!
When you refer a friend

	Introduction
	Proposition or statement and Truth Value of a statement
	Use of Venn diagrams in Logic
	Compound statements and Truth table
	Logical Equivalence and Duality
	Application of Logic in solving simple problems
	Summary

Subjects
English
Math
Geometry