SlideShare a Scribd company logo
‫يم‬ ِ‫ح‬َّ‫الر‬ ِ‫ن‬ ٰ‫حم‬َّ‫الر‬ ِ‫ہللا‬ ِ‫سم‬ِ‫ب‬
1 Arguments 2 Valid Arguments
C O N T E N T S
3 Invalid Arguments
Zofshan CS-79
Muqadas Javaid CS-76
Shaharmeer CS-2822
P R E S E N T E D B Y
01
Arguments
1 Arguments
Arguments:
The arguments can be described as a series of statements or
propositions. It usually has the premises and conclusion.
 Permises:
All the statement or proposition in an argument is called
premises (or assumption or hypotheses) Expect for the final one.
The premises will be represented by p1, p2, p3,....,pn.
 Conclusion:
The final statement is called conclusion.
Statement is supported by atleast one permise.
The symbol (...),which is read “therefore,” is normally
placed just before the conlusion.
1 Arguments
Examples 1:
“If you have a current password ,then you can login into the network.”
If you have a current password, then you can login into the network.
You have a current password.
Therefore, you can login into the network.
If p, then q. p → q
p. p
Therefore,q. ...q
P1, P2, ..., Pn → Q
Where P1, P2...... Pn is the premises
and Q is the conclusion.
1 Arguments
Examples 2:
Every student of conputer science studies Dicrete Structures.
Data structures necessarily contain the study of arguments.
Therefore, every student of computer sciece studies
arguments.
Examples 3:
Every parent is a mature person.
Children should listen to mature people.
Therefore, every child should listen to their parents.
1 Arguments
Rules Of Inference:
 The rules of inference are a logical form or guide consisting
of premises (or hypotheses) and draws a conclusion.
 Rules of inference are the tamplates for constructing valid
arguments.
 Deriving conclusion from the evidences.
 The general form of the rule of inference is:
(p1^p2^....^pn)→ c
1 Arguments
Types Rules Of Inference:
1. Modus Ponens: p→q
p OR [(p→ q)^q]→q
...q
P1 If p, then q.
P2 p.
C Therefore,q.
Example:
If it rain, then it is cloudy.
It rains.
Therefore, it is cloudy.
1 Arguments
Modus Ponens :
p q p→q (p→ q)^q [(p→q)^q]→q
T T T T T
T F F F T
F T T F T
F F T F T
1 Arguments
Types Rules Of Inference:
1. Modus Tollens: p→q
~q OR [(p→ q)^~q]→~p
...~p
P1 If p, then q.
P2 ~q.
C Therefore,~p.
Example:
If it rainI am the POTUS , then i’m an American citizen.
I’m not an American citizen.
Therefore, i’m not the POTUS.
1 Arguments
Modus Tollens :
p q p→q ~p ~q (p→ q)^~q [(p→q)^~q]→~p
T T T F F F T
T F F F T F T
F T T T F F T
F F T T T T T
1 Arguments
Uses And Application:
 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.
03
Invalid Arguments
Invalid Arguments
An argument is said to be an invalid argument if
its conclusion can be false when its hypothesis
is true.
The main point regarding a valid argument is that it follows from the logical form
itself and has nothing to do with the content. When a conclusion is reached
using a valid argument
How to Check If an Argument is Invalid?
3 Invalid Arguments
To test whether or not an argument is invalid, we have to:
Identify premises and conclusion
Construct a truth table showing conclusion
Look for all the rows where the premises are all true - (critical
rows)
If the conclusion is false in a critical row,
then the argument is invalid.
Otherwise, the argument is valid
2.
3.
1.
Invalid Arguments
In logic, the words “false” and “invalid” have
very different meanings
- false is talking about the statements
making up an argument
- invalidity is talking about whether the
conclusion follows from the premises or
not.
3
Warning
Invalid Arguments
- A perfectly valid argument may have a false
conclusion depending upon the truth value of
the premises.
- An invalid argument may have a true
conclusion depending upon the truth value of
the premises.
3
Note
Examples
Invalid Arguments
3
Let us consider the following example:
Egyptions speak Arabic.
It can be rewritten as
“If someone is a citizen of Egypt, then they speak Arabic.”
(p→q) → (q→p)
Arguments
(p→q) V (q→p)
Invalid Arguments
3
An example of an invalid argument :
“If it is raining, then the streets are wet.
The streets are wet.
Therefore, it is raining.”
For convenience, we will represent this argument
symbolically as
[ ( p → q ) ∧ p ] → p
1.
Invalid Arguments
3
p q p→q (p→q)∧p [(p→q)∧p]→p
T T T T T
T F F F T
F T T F T
F F T F T
Invalid Arguments
3
p q p→q ~p ~q (p→q)∧∼p [(p→q)^~p]→~q
T T T F F F T
T F F F T F T
F T T T F T F
F F T T T T T
[ ( p → q ) ^ ~ p ] → ~ q
2.
THANK YOU
THANK YOU FOR WATCHING

More Related Content

Similar to Arguments.pptx

Valid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptxValid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptxLuisSalenga1
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxPriyalMayurManvar
 
Inductive and Deductive Reasoning
Inductive and Deductive ReasoningInductive and Deductive Reasoning
Inductive and Deductive ReasoningSonarin Cruz
 
Artificial intelligent Lec 5-logic
Artificial intelligent Lec 5-logicArtificial intelligent Lec 5-logic
Artificial intelligent Lec 5-logicTaymoor Nazmy
 
lectures in prolog in order to advance in artificial intelligence
lectures in prolog in order to advance in artificial intelligencelectures in prolog in order to advance in artificial intelligence
lectures in prolog in order to advance in artificial intelligenceAlaaCHOUMANE
 
Chapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and ProofsChapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and ProofsProfSHananeel
 
rules of inference in discrete structures
rules of inference in discrete structuresrules of inference in discrete structures
rules of inference in discrete structuresZenLooper
 
Arguments and methods of proof
Arguments and methods of proofArguments and methods of proof
Arguments and methods of proofRobert Geofroy
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdfPradeeshSAI
 
MFCS PPT.pdf
MFCS PPT.pdfMFCS PPT.pdf
MFCS PPT.pdfjayarao21
 
Chapter 01 - p3.pdf
Chapter 01 - p3.pdfChapter 01 - p3.pdf
Chapter 01 - p3.pdfsmarwaneid
 
UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]DIwakar Rajput
 

Similar to Arguments.pptx (20)

Valid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptxValid and Invalid Arguments.pptx
Valid and Invalid Arguments.pptx
 
2.3 deductive reasoning
2.3 deductive reasoning2.3 deductive reasoning
2.3 deductive reasoning
 
Logic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptxLogic in Computer Science Unit 2 (1).pptx
Logic in Computer Science Unit 2 (1).pptx
 
Inductive and Deductive Reasoning
Inductive and Deductive ReasoningInductive and Deductive Reasoning
Inductive and Deductive Reasoning
 
Artificial intelligent Lec 5-logic
Artificial intelligent Lec 5-logicArtificial intelligent Lec 5-logic
Artificial intelligent Lec 5-logic
 
lectures in prolog in order to advance in artificial intelligence
lectures in prolog in order to advance in artificial intelligencelectures in prolog in order to advance in artificial intelligence
lectures in prolog in order to advance in artificial intelligence
 
Chapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and ProofsChapter 1: The Foundations: Logic and Proofs
Chapter 1: The Foundations: Logic and Proofs
 
Lecture5
Lecture5Lecture5
Lecture5
 
rules of inference in discrete structures
rules of inference in discrete structuresrules of inference in discrete structures
rules of inference in discrete structures
 
L01.ppt
L01.pptL01.ppt
L01.ppt
 
Arguments and methods of proof
Arguments and methods of proofArguments and methods of proof
Arguments and methods of proof
 
Logic&proof
Logic&proofLogic&proof
Logic&proof
 
Per3 logika&pembuktian
Per3 logika&pembuktianPer3 logika&pembuktian
Per3 logika&pembuktian
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
 
logic_lec4.ppt
logic_lec4.pptlogic_lec4.ppt
logic_lec4.ppt
 
MFCS PPT.pdf
MFCS PPT.pdfMFCS PPT.pdf
MFCS PPT.pdf
 
Chapter 01 - p3.pdf
Chapter 01 - p3.pdfChapter 01 - p3.pdf
Chapter 01 - p3.pdf
 
UGC NET Computer Science & Application book.pdf [Sample]
UGC NET Computer Science & Application book.pdf  [Sample]UGC NET Computer Science & Application book.pdf  [Sample]
UGC NET Computer Science & Application book.pdf [Sample]
 
Chapter1p3.pptx
Chapter1p3.pptxChapter1p3.pptx
Chapter1p3.pptx
 
Dscrete structure
Dscrete  structureDscrete  structure
Dscrete structure
 

Recently uploaded

Eureka, I found it! - Special Libraries Association 2021 Presentation
Eureka, I found it! - Special Libraries Association 2021 PresentationEureka, I found it! - Special Libraries Association 2021 Presentation
Eureka, I found it! - Special Libraries Association 2021 PresentationAccess Innovations, Inc.
 
Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...
Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...
Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...Rahsaan L. Browne
 
Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...
Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...
Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...Orkestra
 
Introduction of Biology in living organisms
Introduction of Biology in living organismsIntroduction of Biology in living organisms
Introduction of Biology in living organismssoumyapottola
 
123445566544333222333444dxcvbcvcvharsh.pptx
123445566544333222333444dxcvbcvcvharsh.pptx123445566544333222333444dxcvbcvcvharsh.pptx
123445566544333222333444dxcvbcvcvharsh.pptxgargh1099
 
Getting started with Amazon Bedrock Studio and Control Tower
Getting started with Amazon Bedrock Studio and Control TowerGetting started with Amazon Bedrock Studio and Control Tower
Getting started with Amazon Bedrock Studio and Control TowerVladimir Samoylov
 
Pollinator Ambassador Earth Steward Day Presentation 2024-05-22
Pollinator Ambassador Earth Steward Day Presentation 2024-05-22Pollinator Ambassador Earth Steward Day Presentation 2024-05-22
Pollinator Ambassador Earth Steward Day Presentation 2024-05-22LHelferty
 
Acorn Recovery: Restore IT infra within minutes
Acorn Recovery: Restore IT infra within minutesAcorn Recovery: Restore IT infra within minutes
Acorn Recovery: Restore IT infra within minutesIP ServerOne
 
05232024 Joint Meeting - Community Networking
05232024 Joint Meeting - Community Networking05232024 Joint Meeting - Community Networking
05232024 Joint Meeting - Community NetworkingMichael Orias
 
The Canoga Gardens Development Project. PDF
The Canoga Gardens Development Project. PDFThe Canoga Gardens Development Project. PDF
The Canoga Gardens Development Project. PDFRahsaan L. Browne
 
Oracle Database Administration I (1Z0-082) Exam Dumps 2024.pdf
Oracle Database Administration I (1Z0-082) Exam Dumps 2024.pdfOracle Database Administration I (1Z0-082) Exam Dumps 2024.pdf
Oracle Database Administration I (1Z0-082) Exam Dumps 2024.pdfSkillCertProExams
 
527598851-ppc-due-to-various-govt-policies.pdf
527598851-ppc-due-to-various-govt-policies.pdf527598851-ppc-due-to-various-govt-policies.pdf
527598851-ppc-due-to-various-govt-policies.pdfrajpreetkaur75080
 
Hi-Tech Industry 2024-25 Prospective.pptx
Hi-Tech Industry 2024-25 Prospective.pptxHi-Tech Industry 2024-25 Prospective.pptx
Hi-Tech Industry 2024-25 Prospective.pptxShivamM16
 
0x01 - Newton's Third Law: Static vs. Dynamic Abusers
0x01 - Newton's Third Law:  Static vs. Dynamic Abusers0x01 - Newton's Third Law:  Static vs. Dynamic Abusers
0x01 - Newton's Third Law: Static vs. Dynamic AbusersOWASP Beja
 

Recently uploaded (14)

Eureka, I found it! - Special Libraries Association 2021 Presentation
Eureka, I found it! - Special Libraries Association 2021 PresentationEureka, I found it! - Special Libraries Association 2021 Presentation
Eureka, I found it! - Special Libraries Association 2021 Presentation
 
Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...
Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...
Writing Sample 2 -Bridging the Divide: Enhancing Public Engagement in Urban D...
 
Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...
Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...
Sharpen existing tools or get a new toolbox? Contemporary cluster initiatives...
 
Introduction of Biology in living organisms
Introduction of Biology in living organismsIntroduction of Biology in living organisms
Introduction of Biology in living organisms
 
123445566544333222333444dxcvbcvcvharsh.pptx
123445566544333222333444dxcvbcvcvharsh.pptx123445566544333222333444dxcvbcvcvharsh.pptx
123445566544333222333444dxcvbcvcvharsh.pptx
 
Getting started with Amazon Bedrock Studio and Control Tower
Getting started with Amazon Bedrock Studio and Control TowerGetting started with Amazon Bedrock Studio and Control Tower
Getting started with Amazon Bedrock Studio and Control Tower
 
Pollinator Ambassador Earth Steward Day Presentation 2024-05-22
Pollinator Ambassador Earth Steward Day Presentation 2024-05-22Pollinator Ambassador Earth Steward Day Presentation 2024-05-22
Pollinator Ambassador Earth Steward Day Presentation 2024-05-22
 
Acorn Recovery: Restore IT infra within minutes
Acorn Recovery: Restore IT infra within minutesAcorn Recovery: Restore IT infra within minutes
Acorn Recovery: Restore IT infra within minutes
 
05232024 Joint Meeting - Community Networking
05232024 Joint Meeting - Community Networking05232024 Joint Meeting - Community Networking
05232024 Joint Meeting - Community Networking
 
The Canoga Gardens Development Project. PDF
The Canoga Gardens Development Project. PDFThe Canoga Gardens Development Project. PDF
The Canoga Gardens Development Project. PDF
 
Oracle Database Administration I (1Z0-082) Exam Dumps 2024.pdf
Oracle Database Administration I (1Z0-082) Exam Dumps 2024.pdfOracle Database Administration I (1Z0-082) Exam Dumps 2024.pdf
Oracle Database Administration I (1Z0-082) Exam Dumps 2024.pdf
 
527598851-ppc-due-to-various-govt-policies.pdf
527598851-ppc-due-to-various-govt-policies.pdf527598851-ppc-due-to-various-govt-policies.pdf
527598851-ppc-due-to-various-govt-policies.pdf
 
Hi-Tech Industry 2024-25 Prospective.pptx
Hi-Tech Industry 2024-25 Prospective.pptxHi-Tech Industry 2024-25 Prospective.pptx
Hi-Tech Industry 2024-25 Prospective.pptx
 
0x01 - Newton's Third Law: Static vs. Dynamic Abusers
0x01 - Newton's Third Law:  Static vs. Dynamic Abusers0x01 - Newton's Third Law:  Static vs. Dynamic Abusers
0x01 - Newton's Third Law: Static vs. Dynamic Abusers
 

Arguments.pptx

  • 1. ‫يم‬ ِ‫ح‬َّ‫الر‬ ِ‫ن‬ ٰ‫حم‬َّ‫الر‬ ِ‫ہللا‬ ِ‫سم‬ِ‫ب‬
  • 2. 1 Arguments 2 Valid Arguments C O N T E N T S 3 Invalid Arguments Zofshan CS-79 Muqadas Javaid CS-76 Shaharmeer CS-2822 P R E S E N T E D B Y
  • 4. 1 Arguments Arguments: The arguments can be described as a series of statements or propositions. It usually has the premises and conclusion.  Permises: All the statement or proposition in an argument is called premises (or assumption or hypotheses) Expect for the final one. The premises will be represented by p1, p2, p3,....,pn.  Conclusion: The final statement is called conclusion. Statement is supported by atleast one permise. The symbol (...),which is read “therefore,” is normally placed just before the conlusion.
  • 5. 1 Arguments Examples 1: “If you have a current password ,then you can login into the network.” If you have a current password, then you can login into the network. You have a current password. Therefore, you can login into the network. If p, then q. p → q p. p Therefore,q. ...q P1, P2, ..., Pn → Q Where P1, P2...... Pn is the premises and Q is the conclusion.
  • 6. 1 Arguments Examples 2: Every student of conputer science studies Dicrete Structures. Data structures necessarily contain the study of arguments. Therefore, every student of computer sciece studies arguments. Examples 3: Every parent is a mature person. Children should listen to mature people. Therefore, every child should listen to their parents.
  • 7. 1 Arguments Rules Of Inference:  The rules of inference are a logical form or guide consisting of premises (or hypotheses) and draws a conclusion.  Rules of inference are the tamplates for constructing valid arguments.  Deriving conclusion from the evidences.  The general form of the rule of inference is: (p1^p2^....^pn)→ c
  • 8. 1 Arguments Types Rules Of Inference: 1. Modus Ponens: p→q p OR [(p→ q)^q]→q ...q P1 If p, then q. P2 p. C Therefore,q. Example: If it rain, then it is cloudy. It rains. Therefore, it is cloudy.
  • 9. 1 Arguments Modus Ponens : p q p→q (p→ q)^q [(p→q)^q]→q T T T T T T F F F T F T T F T F F T F T
  • 10. 1 Arguments Types Rules Of Inference: 1. Modus Tollens: p→q ~q OR [(p→ q)^~q]→~p ...~p P1 If p, then q. P2 ~q. C Therefore,~p. Example: If it rainI am the POTUS , then i’m an American citizen. I’m not an American citizen. Therefore, i’m not the POTUS.
  • 11. 1 Arguments Modus Tollens : p q p→q ~p ~q (p→ q)^~q [(p→q)^~q]→~p T T T F F F T T F F F T F T F T T T F F T F F T T T T T
  • 12. 1 Arguments Uses And Application:  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.
  • 14. Invalid Arguments An argument is said to be an invalid argument if its conclusion can be false when its hypothesis is true. The main point regarding a valid argument is that it follows from the logical form itself and has nothing to do with the content. When a conclusion is reached using a valid argument
  • 15. How to Check If an Argument is Invalid?
  • 16. 3 Invalid Arguments To test whether or not an argument is invalid, we have to: Identify premises and conclusion Construct a truth table showing conclusion Look for all the rows where the premises are all true - (critical rows) If the conclusion is false in a critical row, then the argument is invalid. Otherwise, the argument is valid 2. 3. 1.
  • 17. Invalid Arguments In logic, the words “false” and “invalid” have very different meanings - false is talking about the statements making up an argument - invalidity is talking about whether the conclusion follows from the premises or not. 3 Warning
  • 18. Invalid Arguments - A perfectly valid argument may have a false conclusion depending upon the truth value of the premises. - An invalid argument may have a true conclusion depending upon the truth value of the premises. 3 Note
  • 20. Invalid Arguments 3 Let us consider the following example: Egyptions speak Arabic. It can be rewritten as “If someone is a citizen of Egypt, then they speak Arabic.” (p→q) → (q→p) Arguments (p→q) V (q→p)
  • 21. Invalid Arguments 3 An example of an invalid argument : “If it is raining, then the streets are wet. The streets are wet. Therefore, it is raining.” For convenience, we will represent this argument symbolically as [ ( p → q ) ∧ p ] → p 1.
  • 22. Invalid Arguments 3 p q p→q (p→q)∧p [(p→q)∧p]→p T T T T T T F F F T F T T F T F F T F T
  • 23. Invalid Arguments 3 p q p→q ~p ~q (p→q)∧∼p [(p→q)^~p]→~q T T T F F F T T F F F T F T F T T T F T F F F T T T T T [ ( p → q ) ^ ~ p ] → ~ q 2.
  • 24. THANK YOU THANK YOU FOR WATCHING