SlideShare a Scribd company logo
1 of 19
Download to read offline
Proposition
Proposition is a declarative
sentence or statement
which is either true or false,
but cannot be both.
Arguments
• Arguments in everyday
situations take place
between people.
• Arguments give reasons for
believing the truth of a
proposition.
• Logic studies the
information content of
An argument is a list of propositions,
called the premises, followed by a word such
as ‘therefore’, or ‘so’, and then another
proposition, called the conclusion.
The reason for accepting the information in
the conclusion is based on the premises.
If everything is determined, people are not free.
Premise
People are free. Premise
So not everything is determined. Conclusion
Arguments
• An argument is valid when its
conclusion necessarily follows
from a given set of premises.
• An argument is invalid (or a
fallacy) when the conclusion
does not necessarily follow
from the given set of premises.
Arguments
Truth Table
• A truth table for a compound
statement is a list of the truth
or falsity of the statement for
every possible combination of
truth and falsity of its
components.
• In other words, a truth table
• To find the number of rows used in a
truth table, take the number 2
raised to the power of the number of
variables.
• For example, if there was a p
statement and a q statement, there
would be 2 variables, 22 is 4.
• If there were three statements, it
Truth Table
Negation Truth Table
Negation
P ~ P
T F
F T
Negation(not): Opposite truth value from the statement
Conjunction (and): Only true when both statements are true.
∧ Conjunction
P Q P ∧ Q
T T T
T F F
F T F
F F F
Conjunction Truth
Table
Disjunction Truth
Table
Disjunction (or): Only false when both statements are false.
∨ Disjunction
P Q P ∨ Q
T T T
T F T
F T T
F F F
Example:
Let p and q represent the following simple statements.
p : All triangles have three sides.
q : All right angles measure 90 degrees.
1. P ∧ Q
2. ~P ∧ Q
T T
F T
TRUE
FALSE
Determine the truth value for each statement.
Example:
Let p and q represent the following simple statements.
P : All triangles have three sides.
Q : All right angles measure 90 degrees.
1. P ∨ ~Q
2. ~P ∨ ~Q
T F
F F
TRUE
FALSE
Determine the truth value for each statement.
CONSTRUCTING TRUTH TABLES
Construct a truth table for ~ ( p ∧ q )
∧ Conjunction
p q p ∧ q ~ ( p ∧ q )
T T T
T F F
F T F
F F F
F
T
T
T
(~ P v Q ) ∧ ~ Q
CONSTRUCTING TRUTH TABLES
Construct a truth table for (~ p V q ) ∧ ~ q
P Q
T T
T F
F T
F F
~ P
F
F
T
T
~ P V Q
T
~ Q
F
T
F
T
T
T
F
F
F
F
T
→ Implication
P Q 𝑷 → 𝑸
T T T
T F F
F T T
F F T
Implication Truth
Table
• In case all the substitution instances of an
argument are all true, the argument is said to be
tautologous or a tautology.
• A statement formed that has only false
substitution instances is said to be contradictory
or a contradiction.
• Contingency is neither a tautology nor a
contradiction.
Tautology
Using the truth table of the given symbolic
statement,the following hold.
1. If the truth values in the column of the given
symbolic statement are all true (T), then the
given statement is a tautology.
2. If the truth values in the column of the given
symbolic statement are all false (F), then the
given statement is a contradiction.
Tautology
Show that the statement p ∨ ∼ p is a
tautology and show that the
statement p ∧ ∼ p is a contradiction.
EXAMPLE
Exercise
Construct a truth table for the given expression:
1. ~ (p v q )
2. ( p v ~q ) ∧ ~p
3. (~p ∧ q ) v ( p ∧ ~q )

More Related Content

Similar to proposition, truth tables and tautology.pptx

Truth tables
Truth tablesTruth tables
Truth tables
walkerlj
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
tommy34g
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
guestd166eb5
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
PradeeshSAI
 
Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examples
MujtaBa Khan
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
ssuser92109d
 

Similar to proposition, truth tables and tautology.pptx (20)

Truth tables
Truth tablesTruth tables
Truth tables
 
UNIT-III-PPT.pptx
UNIT-III-PPT.pptxUNIT-III-PPT.pptx
UNIT-III-PPT.pptx
 
L01.ppt
L01.pptL01.ppt
L01.ppt
 
Arguments in discreate structures and stuff
Arguments in discreate structures and stuffArguments in discreate structures and stuff
Arguments in discreate structures and stuff
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
 
logic_lec4.ppt
logic_lec4.pptlogic_lec4.ppt
logic_lec4.ppt
 
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]
 
Chapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound StatementsChapter 1 Logic of Compound Statements
Chapter 1 Logic of Compound Statements
 
proposition Logic-1.pptx Discrete Mathematics
proposition Logic-1.pptx Discrete Mathematicsproposition Logic-1.pptx Discrete Mathematics
proposition Logic-1.pptx Discrete Mathematics
 
Nature of Logic.pptx
Nature of Logic.pptxNature of Logic.pptx
Nature of Logic.pptx
 
logicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdflogicproof-141212042039-conversion-gate01.pdf
logicproof-141212042039-conversion-gate01.pdf
 
Logic (PROPOSITIONS)
Logic (PROPOSITIONS)Logic (PROPOSITIONS)
Logic (PROPOSITIONS)
 
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكروDiscrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
 
Per3 logika&pembuktian
Per3 logika&pembuktianPer3 logika&pembuktian
Per3 logika&pembuktian
 
Logical Operators in Brief with examples
Logical Operators in Brief with examplesLogical Operators in Brief with examples
Logical Operators in Brief with examples
 
Mathematical Logic
Mathematical LogicMathematical Logic
Mathematical Logic
 
LOGIC
LOGICLOGIC
LOGIC
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.ppt
 
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
20220818151924_PPT01 - The Logic of Compound and Quantitative Statement.pptx
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).ppt
 

More from JayLagman3

Taylor_and_Maclaurin_Series_Calculus.ppt
Taylor_and_Maclaurin_Series_Calculus.pptTaylor_and_Maclaurin_Series_Calculus.ppt
Taylor_and_Maclaurin_Series_Calculus.ppt
JayLagman3
 
teaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptx
teaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptxteaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptx
teaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptx
JayLagman3
 
construction of true or false test items
construction of true or false test itemsconstruction of true or false test items
construction of true or false test items
JayLagman3
 
CO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptxCO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptx
JayLagman3
 
math 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .pptmath 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .ppt
JayLagman3
 
Structural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdfStructural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdf
JayLagman3
 
Learning Theory 202021 students .ppt
Learning Theory 202021 students       .pptLearning Theory 202021 students       .ppt
Learning Theory 202021 students .ppt
JayLagman3
 
EAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptxEAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptx
JayLagman3
 
Modular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.pptModular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.ppt
JayLagman3
 
Cyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.pptCyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.ppt
JayLagman3
 
solving linear system by elimination method.pptx
solving linear system by elimination method.pptxsolving linear system by elimination method.pptx
solving linear system by elimination method.pptx
JayLagman3
 
Propositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptxPropositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptx
JayLagman3
 
behaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptxbehaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptx
JayLagman3
 

More from JayLagman3 (20)

wilson's and fermat little theorem .ppt
wilson's and fermat little theorem  .pptwilson's and fermat little theorem  .ppt
wilson's and fermat little theorem .ppt
 
Taylor_and_Maclaurin_Series_Calculus.ppt
Taylor_and_Maclaurin_Series_Calculus.pptTaylor_and_Maclaurin_Series_Calculus.ppt
Taylor_and_Maclaurin_Series_Calculus.ppt
 
teaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptx
teaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptxteaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptx
teaching-math-in-the-intermediate-grades-240204104047-7f32f49b.pptx
 
construction of true or false test items
construction of true or false test itemsconstruction of true or false test items
construction of true or false test items
 
Mathematics_Literacy_Module_3 .ppt
Mathematics_Literacy_Module_3       .pptMathematics_Literacy_Module_3       .ppt
Mathematics_Literacy_Module_3 .ppt
 
CO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptxCO2 slope of the line mathematics 8.pptx
CO2 slope of the line mathematics 8.pptx
 
triangle inequalities theorems .ppt
triangle inequalities theorems      .ppttriangle inequalities theorems      .ppt
triangle inequalities theorems .ppt
 
math 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .pptmath 8 triangle inequalities theorem .ppt
math 8 triangle inequalities theorem .ppt
 
triangle inequalities theorem mathematics 8
triangle inequalities theorem mathematics 8triangle inequalities theorem mathematics 8
triangle inequalities theorem mathematics 8
 
Structural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdfStructural Learning Theory (Math 102).pdf
Structural Learning Theory (Math 102).pdf
 
PH_Geo_4-1_Congruent_Figures_[1] (2).ppt
PH_Geo_4-1_Congruent_Figures_[1] (2).pptPH_Geo_4-1_Congruent_Figures_[1] (2).ppt
PH_Geo_4-1_Congruent_Figures_[1] (2).ppt
 
Learning Theory 202021 students .ppt
Learning Theory 202021 students       .pptLearning Theory 202021 students       .ppt
Learning Theory 202021 students .ppt
 
EAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptxEAA - table of specifications (tos).pptx
EAA - table of specifications (tos).pptx
 
Modular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.pptModular Arithmetic and congruence of integers.ppt
Modular Arithmetic and congruence of integers.ppt
 
Cyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.pptCyclic Groups and Subgroups in abstract algebra.ppt
Cyclic Groups and Subgroups in abstract algebra.ppt
 
the integral test in calculus iii.pptx
the  integral  test  in  calculus iii.pptxthe  integral  test  in  calculus iii.pptx
the integral test in calculus iii.pptx
 
solving linear system by elimination method.pptx
solving linear system by elimination method.pptxsolving linear system by elimination method.pptx
solving linear system by elimination method.pptx
 
Elementary Properties of Groups .ppt
Elementary   Properties  of  Groups  .pptElementary   Properties  of  Groups  .ppt
Elementary Properties of Groups .ppt
 
Propositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptxPropositional-equivalence and formalization.pptx
Propositional-equivalence and formalization.pptx
 
behaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptxbehaviorism and the teaching of mathematics.pptx
behaviorism and the teaching of mathematics.pptx
 

Recently uploaded

Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
KarakKing
 

Recently uploaded (20)

This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.This PowerPoint helps students to consider the concept of infinity.
This PowerPoint helps students to consider the concept of infinity.
 
Tatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf artsTatlong Kwento ni Lola basyang-1.pdf arts
Tatlong Kwento ni Lola basyang-1.pdf arts
 
Interdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptxInterdisciplinary_Insights_Data_Collection_Methods.pptx
Interdisciplinary_Insights_Data_Collection_Methods.pptx
 
Graduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - EnglishGraduate Outcomes Presentation Slides - English
Graduate Outcomes Presentation Slides - English
 
ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.ICT role in 21st century education and it's challenges.
ICT role in 21st century education and it's challenges.
 
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptxBasic Civil Engineering first year Notes- Chapter 4 Building.pptx
Basic Civil Engineering first year Notes- Chapter 4 Building.pptx
 
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptxExploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
Exploring_the_Narrative_Style_of_Amitav_Ghoshs_Gun_Island.pptx
 
How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17How to Create and Manage Wizard in Odoo 17
How to Create and Manage Wizard in Odoo 17
 
Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)Jamworks pilot and AI at Jisc (20/03/2024)
Jamworks pilot and AI at Jisc (20/03/2024)
 
Sociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning ExhibitSociology 101 Demonstration of Learning Exhibit
Sociology 101 Demonstration of Learning Exhibit
 
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdfUGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
UGC NET Paper 1 Mathematical Reasoning & Aptitude.pdf
 
Salient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functionsSalient Features of India constitution especially power and functions
Salient Features of India constitution especially power and functions
 
On National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan FellowsOn National Teacher Day, meet the 2024-25 Kenan Fellows
On National Teacher Day, meet the 2024-25 Kenan Fellows
 
ICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptxICT Role in 21st Century Education & its Challenges.pptx
ICT Role in 21st Century Education & its Challenges.pptx
 
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
80 ĐỀ THI THỬ TUYỂN SINH TIẾNG ANH VÀO 10 SỞ GD – ĐT THÀNH PHỐ HỒ CHÍ MINH NĂ...
 
Python Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docxPython Notes for mca i year students osmania university.docx
Python Notes for mca i year students osmania university.docx
 
SOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning PresentationSOC 101 Demonstration of Learning Presentation
SOC 101 Demonstration of Learning Presentation
 
Single or Multiple melodic lines structure
Single or Multiple melodic lines structureSingle or Multiple melodic lines structure
Single or Multiple melodic lines structure
 
How to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POSHow to Manage Global Discount in Odoo 17 POS
How to Manage Global Discount in Odoo 17 POS
 
Fostering Friendships - Enhancing Social Bonds in the Classroom
Fostering Friendships - Enhancing Social Bonds  in the ClassroomFostering Friendships - Enhancing Social Bonds  in the Classroom
Fostering Friendships - Enhancing Social Bonds in the Classroom
 

proposition, truth tables and tautology.pptx

  • 1.
  • 2. Proposition Proposition is a declarative sentence or statement which is either true or false, but cannot be both.
  • 3. Arguments • Arguments in everyday situations take place between people. • Arguments give reasons for believing the truth of a proposition. • Logic studies the information content of
  • 4. An argument is a list of propositions, called the premises, followed by a word such as ‘therefore’, or ‘so’, and then another proposition, called the conclusion. The reason for accepting the information in the conclusion is based on the premises. If everything is determined, people are not free. Premise People are free. Premise So not everything is determined. Conclusion Arguments
  • 5. • An argument is valid when its conclusion necessarily follows from a given set of premises. • An argument is invalid (or a fallacy) when the conclusion does not necessarily follow from the given set of premises. Arguments
  • 6. Truth Table • A truth table for a compound statement is a list of the truth or falsity of the statement for every possible combination of truth and falsity of its components. • In other words, a truth table
  • 7. • To find the number of rows used in a truth table, take the number 2 raised to the power of the number of variables. • For example, if there was a p statement and a q statement, there would be 2 variables, 22 is 4. • If there were three statements, it Truth Table
  • 8. Negation Truth Table Negation P ~ P T F F T Negation(not): Opposite truth value from the statement
  • 9. Conjunction (and): Only true when both statements are true. ∧ Conjunction P Q P ∧ Q T T T T F F F T F F F F Conjunction Truth Table
  • 10. Disjunction Truth Table Disjunction (or): Only false when both statements are false. ∨ Disjunction P Q P ∨ Q T T T T F T F T T F F F
  • 11. Example: Let p and q represent the following simple statements. p : All triangles have three sides. q : All right angles measure 90 degrees. 1. P ∧ Q 2. ~P ∧ Q T T F T TRUE FALSE Determine the truth value for each statement.
  • 12. Example: Let p and q represent the following simple statements. P : All triangles have three sides. Q : All right angles measure 90 degrees. 1. P ∨ ~Q 2. ~P ∨ ~Q T F F F TRUE FALSE Determine the truth value for each statement.
  • 13. CONSTRUCTING TRUTH TABLES Construct a truth table for ~ ( p ∧ q ) ∧ Conjunction p q p ∧ q ~ ( p ∧ q ) T T T T F F F T F F F F F T T T
  • 14. (~ P v Q ) ∧ ~ Q CONSTRUCTING TRUTH TABLES Construct a truth table for (~ p V q ) ∧ ~ q P Q T T T F F T F F ~ P F F T T ~ P V Q T ~ Q F T F T T T F F F F T
  • 15. → Implication P Q 𝑷 → 𝑸 T T T T F F F T T F F T Implication Truth Table
  • 16. • In case all the substitution instances of an argument are all true, the argument is said to be tautologous or a tautology. • A statement formed that has only false substitution instances is said to be contradictory or a contradiction. • Contingency is neither a tautology nor a contradiction. Tautology
  • 17. Using the truth table of the given symbolic statement,the following hold. 1. If the truth values in the column of the given symbolic statement are all true (T), then the given statement is a tautology. 2. If the truth values in the column of the given symbolic statement are all false (F), then the given statement is a contradiction. Tautology
  • 18. Show that the statement p ∨ ∼ p is a tautology and show that the statement p ∧ ∼ p is a contradiction. EXAMPLE
  • 19. Exercise Construct a truth table for the given expression: 1. ~ (p v q ) 2. ( p v ~q ) ∧ ~p 3. (~p ∧ q ) v ( p ∧ ~q )