6/9/23, 10:13 AM Arguments in Discrete Mathematics - GeeksforGeeks

Hiring Challenge Engineering Mathematics Discrete Mathematics Digital Logic and Design Computer Organization and Architecture C Programming Data Structures Algorithms Th

Arguments in Discrete Mathematics

gunjeetajain910

Read Discuss

Arguments are an important part of logical reasoning and philosophy. It also plays a vital role in mathematical proofs. In this article, we will
throw some light on arguments in logical reasoning. Logical proofs can be proven by mathematical logic. The proof is a valid argument that
determines the truth values of mathematical statements. The argument is a set of statements or propositions which contains premises and
conclusion. The end or last statement is called a conclusion and the rest statements are called premises.

The premises of the argument are those statements or propositions which are used to provide the support or evidence while the conclusions of
an argument is that statement or proposition that simply defines that premises are intended to provide support.

An argument is denoted by the following expression as follows.

P1, P2, ..., Pn $ Q

Where P1, P2...... Pn is the premises and Q is the conclusion.

Example of Argument s :

20% OFF Data Structures and Algorithms - Self Paced

Data Structures and Algorithms are building blocks of
programming. Data structures enable us to...

60+ hours of content 924k+ views

Certification Program LEARN MORE

Example-1 :

Every student of Information Technology studies Data Structures.

Data structures necessarily contain the study of arguments.
Therefore, every student of Information Technology studies arguments.

Example-2 :

Every parent is a mature person.

Children should listen to mature people.
Therefore, every child should listen to their parents.

Example-3 :

Every mother is a woman.

All women are caring.
Therefore, every mother is caring.

Types of Argument s :

1. Deduct ive Argument –

We can say that an argument where the truth of the premises always results in the truth of the conclusion. The true value of premises never
gives a false value of conclusion, where no such condition occurs, is called deductive arguments.

Example –

All men are busy

Ram is a man

https://www.geeksforgeeks.org/arguments-in-discrete-mathematics/ 1/4
6/9/23, 10:13 AM Arguments in Discrete Mathematics - GeeksforGeeks
______________
Ram is busy

2. Induct ive Argument –

An argument where the premises point to a few instances of some pattern and the end expresses that this pattern will hold as a rule
generally. An inductive argument won’t be deductively valid, in light of the fact that regardless of whether a pattern is discovered ordinarily,
that doesn’t promise it will consistently be found. Consequently, an inductive argument gives weaker, less reliable support for the conclusion
than a deductive argument does.  

Example –

We have seen 800 ducks, and every one of them has been white
________________________________________________
All ducks are white

Validit y and Soundness of argument :

An argument is said to be valid only if it’s not possible for the premises to have true value and the conclusion to have false value. If the above
statement does not hold then it is called invalid. Arguments that are invalid are also called a fallacy. If the truth of the premises logically
confirms the truth of the conclusion then the argument is valid.

Note –

A deductive argument is said to be sound if and only if it is both factually correct and valid. Otherwise, deductive arguments are unsound.

Uses and Applicat ion :

Arguments are used in computer programming.

Arguments are used in critical thinking.
Arguments are used to test logical ability.
Arguments offer proof for a claim or conclusion.
Argument mapping is useful in philosophy, management reporting, military, and intelligence analysis, and public debates.

Conclusion :

An argument is a set of statements, including premises and the conclusion. The conclusion is derived from premises. There are two types of
argument; valid argument and invalid arguments and sound and unsound. Apart from these, arguments can be deductive and inductive.
There are many uses of arguments in logical reasoning and mathematical proofs.

Met hods of checking whet her an argument is valid or not :

Met hod 1: (using crit ical rows)

             1. Make truth table and make all columns of the different premises p 1 ,p 2 ,……….pn and also make a column of Q.

2. Mark the rows in which all of p1 ,p 2 ,……………..p n (i.e all premises) are true. such rows are called critical rows.

3. Then, in the critical rows, check the value of conclusion ‘Q’, if Q is true in all the critical rows, then the conclusion is valid

Note: 1. There can be more than one critical row.

2. If there is anyone critical row in which Q is false, then the argument is invalid.

3. For the argument to be valid, ‘Q’ should be confirmed in all the critical rows in the truth table.

Met hod 2: ( Tautology Met hod )

Just make a truth table in which make the columns of p 1 ,p 2 ,p 3 ………..p n, Q , p 1 ∧p 2 ∧p 3 ………p n and finally p 1 ∧p 2 ∧p 3 ∧……p n->Q.
if p 1 ∧p 2 ∧………….p n -> Q is a Tautology, then the argument is valid.
Last Updated : 23 Jan, 2023

Similar Reads

1. Types of Sets in Discrete Structure or Discrete Mathematics

2. Discrete Mathematics | Types of Recurrence Relations - Set 2

3. Discrete Mathematics | Representing Relations

https://www.geeksforgeeks.org/arguments-in-discrete-mathematics/ 2/4
6/9/23, 10:13 AM Arguments in Discrete Mathematics - GeeksforGeeks

4. Discrete Mathematics | Hasse Diagrams

5. PDNF and PCNF in Discrete Mathematics

6. Four Color Theorem and Kuratowski’s Theorem in Discrete Mathematics

7. Types of Proofs - Predicate Logic | Discrete Mathematics

8. Principal Ideal Domain (P.I.D.) | Discrete Mathematics

9. Hypergraph & its representation | Discrete Mathematics

10. Elementary Matrices | Discrete Mathematics

Previous Next

Mathematics | Weibull Distribution Model Even and Odd Permutations and their theorems

Article Contributed By : Vote for difficulty

Current difficulty : Easy
gunjeetajain910
gunjeetajain910 Easy Normal Medium Hard Expert

Improved By : shivammiglani09

Article Tags : Engineering Mathematics

Improve Article Report Issue

A-143, 9th Floor, Sovereign Corporate

Tower, Sector-136, Noida, Uttar Pradesh -
201305

feedback@geeksforgeeks.org

Company Explore Languages Data Structures Algorithms Web Development

About Us Job Fair For Students Python Array Sorting HTML

Careers POTD: Revamped Java String Searching CSS

In Media Python Backend LIVE C++ Linked List Greedy JavaScript

Contact Us Android App Development PHP Stack Dynamic Programming Bootstrap

Terms and Conditions DevOps LIVE GoLang Queue Pattern Searching ReactJS

Privacy Policy DSA in JavaScript SQL Tree Recursion AngularJS

Copyright Policy R Language Graph Backtracking NodeJS

Third-Party Copyright Android Tutorial

Notices

Advertise with us

Computer Science Python Data Science & ML DevOps Competitive System Design

GATE CS Notes Python Programming Data Science With Python Git Programming What is System Design

Operating Systems Examples Data Science For Beginner AWS Top DSA for CP Monolithic and Distributed
Django Tutorial SD

https://www.geeksforgeeks.org/arguments-in-discrete-mathematics/ 3/4
6/9/23, 10:13 AM Arguments in Discrete Mathematics - GeeksforGeeks
Computer Network Python Projects Machine Learning Tutorial Docker Top 50 Tree Problems Scalability in SD

Database Management Python Tkinter Maths For Machine Learning Kubernetes Top 50 Graph Problems Databases in SD
System OpenCV Python Tutorial Pandas Tutorial Azure Top 50 Array Problems High Level Design or HLD
Software Engineering Python Interview Question NumPy Tutorial GCP Top 50 String Problems Low Level Design or LLD
Digital Logic Design NLP Tutorial Top 50 DP Problems Top SD Interview Questions
Engineering Maths Deep Learning Tutorial Top 15 Websites for CP

Interview Corner GfG School Commerce UPSC SSC/ BANKING Write & Earn
Company Preparation CBSE Notes for Class 8 Accountancy Polity Notes SSC CGL Syllabus Write an Article

Preparation for SDE CBSE Notes for Class 9 Business Studies Geography Notes SBI PO Syllabus Improve an Article

Company Interview Corner CBSE Notes for Class 10 Microeconomics History Notes SBI Clerk Syllabus Pick Topics to Write

Experienced Interview CBSE Notes for Class 11 Macroeconomics Science and Technology IBPS PO Syllabus Write Interview Experience

Internship Interview CBSE Notes for Class 12 Statistics for Economics Notes IBPS Clerk Syllabus Internships

Competitive Programming English Grammar Indian Economic Economics Notes Aptitude Questions Video Internship

Aptitude Development Important Topics in Ethics SSC CGL Practice Papers

UPSC Previous Year Papers

@geeksforgeeks , Some rights reserved

https://www.geeksforgeeks.org/arguments-in-discrete-mathematics/ 4/4