DISCRETE
STRUCTURES
Abdur Rehman Usmani
ARISTOTLE (384 B.C.E.–322 B.C.E.)
• Aristotle was born in Stagirus (Stagira) in northern Greece. His father
was the personal physician of the King of Macedonia. Because his
father died when Aristotle was young, Aristotle could not follow the
custom of following his father’s profession. Aristotle became an orphan
at a young age when his mother also died. His guardian who raised
him taught him poetry, rhetoric, and Greek. At the age of 17, his
guardian sent him to Athens to further his education. Aristotle joined
Plato’s Academy, where for 20 years he attended Plato’s lectures, later
presenting his own lectures on rhetoric. When Plato died in 347 B.C.E.,
Aristotle was not chosen to succeed him because his views differed
too much from those of Plato. Instead,
• Aristotle joined the court of King Hermeas where he remained for three
years, and married the niece of the King. When the Persians defeated
Hermeas, Aristotle moved to Mytilene and, at the invitation of King
Philip of Macedonia, he tutored Alexander, Philip’s son, who later
became Alexander the Great. Aristotle tutored Alexander for five years
and after the death of King Philip, he returned to Athens and set up his
own school, called the Lyceum.
• Aristotle’s followers were called the peripatetics, which means “to walk
about,” because Aristotle often walked around as he discussed
philosophical questions. Aristotle taught at the Lyceum for 13 years
where he lectured to his advanced students in the morning and gave
popular lectures to a broad audience in the evening. When Alexander
the Great died in 323 B.C.E., a backlash against anything related to
Alexander led to trumped-up charges of impiety against Aristotle.
Aristotle fled to Chalcis to avoid prosecution.
• He only lived one year in Chalcis, dying of a stomach ailment in 322
B.C.E.
• Aristotle wrote three types of works: those written for a popular
audience, compilations of scientific facts, and systematic treatises. The
systematic treatises included works on logic, philosophy, psychology,
physics, and natural history. Aristotle’s writings were preserved by a
student and were hidden in a vault where a wealthy book collector
discovered them about 200 years later. They were taken to Rome,
where they were studied by scholars and issued in new editions,
preserving them for posterity.
ARISTOTLE (384 B.C.E.–322 B.C.E.)
GEORGE BOOLE
• GEORGE BOOLE (1815–1864) George Boole, the son of a
cobbler, was born in Lincoln, England, in November 1815.
Because of his family’s difficult financial situation, Boole struggled
to educate himself while supporting his family. Nevertheless, he
became one of the most important mathematicians of the 1800s.
Although he considered a career as a clergyman, he decided
instead to go into teaching, and soon afterward opened a school
of his own. In his preparation for teaching mathematics, Boole
unsatisfied with textbooks of his day decided to read the works of
the great mathematicians. While reading papers of the great
French mathematician Lagrange, Boole made discoveries in the
calculus of variations, the branch of analysis dealing with finding
curves and surfaces by optimizing certain parameters.
GEORGE BOOLE
• GEORGE BOOLE (1815–1864) George Boole, the son of a
cobbler, was born in Lincoln, England, in November 1815.
Because of his family’s difficult financial situation, Boole struggled
to educate himself while supporting his family. Nevertheless, he
became one of the most important mathematicians of the 1800s.
Although he considered a career as a clergyman, he decided
instead to go into teaching, and soon afterward opened a school
of his own. In his preparation for teaching mathematics, Boole
unsatisfied with textbooks of his day decided to read the works of
the great mathematicians. While reading papers of the great
French mathematician Lagrange, Boole made discoveries in the
calculus of variations, the branch of analysis dealing with finding
curves and surfaces by optimizing certain parameters.
EXAMPLE
p q pq pq ¬(pq) (pq) ¬(pq)
T T T T F F
T F T F T T
F T T F T T
F F F F T F
o (pq) ¬(pq)
EXAMPLE
p q r pq ¬r (pq)¬r
T T T
T T F
T F T
T F F
F T T
F T F
F F T
o (p  q)  ¬r
XOR
o “p or q and not both p and q”
• (p ∨ q) ∧ ∼(p ∧ q) is sometimes abbreviated as
• p ⊕ q
PRECEDENCE OF
LOGICAL CONNECTIVES
o ~ highest
o Ʌ second highest
o V third highest
o → fourth highest
o ↔ fifth highest
LOGICAL EQUIVALENCE
• If two propositions P(p,q,r….) and Q(p,q,r…) where
p,q,r… are propositional variables have same truth
values in every possible case, the propositions are
logically equivalent
• P(p,q,r….) Q(p,q,r…)
• To test whether two propositions are logically
equivalent
1. Construct the truth table for P
2. Construct the truth table for q using same propositional
variables
3. Check each combinations of truth values of propositional
variables to see whether value of P is same as the truth
value of Q.
• If in each row the truth value of P is same as truth value of
Q then P and Q are logically equivalent.


LOGICAL EQUIVALENCE
1. 6 is greater than 2
2. 2 is less than 6
• two different ways of saying the same thing.
• both be true or both be false.
• logical form of the statements is important.
p ∧ q is true when, and
only when, q ∧ p is
true.
The statement forms
are called logically
equivalent
LOGICAL EQUIVALENCE
oTwo statement forms are called logically
equivalent if, and only if, they have
identical truth values for each possible
substitution of statements for their
statement variables.
o P ≡ Q.
LOGICAL EQUIVALENCE
oNegation of the negation of a
statement is logically equivalent to
the statement.
o ∼(∼p) ≡ p
LOGICAL EQUIVALENCE
o∼(p ∧ q) and ∼p ∧ ∼q are not
logically equivalent
p =“0 < 1” and let q =“1 < 0.”
LOGICAL EQUIVALENCE
EQUIVALENCE LAWS
• Identity laws, P  T  P,
• Domination laws, P  F  F,
• Idempotent laws, P  P  P,
• Double negation law,  ( P)  P
• Commutative laws, P  Q  Q  P,
• Associative laws, P  (Q  R) (P  Q)  R,
• Distributive laws, P  (Q  R) (P  Q)  (P  R)
• De Morgan’s laws,  (PQ)  ( P)  ( Q)
• Law with implication P  Q   P  Q
EXCERCISE
•Use Truth Table to prove Distributive law
P v ( Q ^ R)  (P v Q) ^ (P v R)
•Show that P  Q   P  Q: by truth table
•Show that (P  Q)  (P  R)  P  (Q  R)
• Calculate truth Table for
P v ~Q  P
((~(P ^ Q) v R)  ~P )
DE MORGAN’S LAWS
oThe negation of the conjunction of two
statements is logically equivalent to the
disjunction of their negations.
o ∼(p ∧ q) and ∼p ∨ ∼q are logically equivalent i.e.
∼(p ∧ q) ≡ ∼p ∨ ∼q
DE MORGAN’S LAWS
oNegation of the disjunction of two
statements is logically equivalent to the
conjunction of their negations:
∼(p v q) ≡ ∼p ∧ ∼q
qpqp
qpqp


)(
)(
DE MORGAN’S LAWS
oWrite negations for each of the following
statements:
o John is 6 feet tall and he weighs at least 200 pounds.
o The bus was late or Tom’s watch was slow.
o Negation of these statements
o John is not 6 feet tall or he weighs less than 200 pounds.
o The bus was not late and Tom’s watch was not
slow(/“Neither was the bus late nor was Tom’s watch slow.”)
DE MORGAN’S LAWS
o Negation of a disjunction is formed by taking the
conjunction of the negations of the component
propositions.
o Negation of a conjunction is formed by taking the
disjunction of the negations of the component
propositions.
DE MORGAN’S LAWS
o Frequently used in writing computer programs.
o For instance, suppose you want your program to delete all
files modified outside a certain range of dates, say from
date 1 through date 2 inclusive.
o ∼(date1 ≤ file_modification_date ≤ date2)
o is equivalent to
o ( file_modification_date < date1) or (date2 <
file_modification_date).
DE MORGAN’S LAWS

More Related Content

PPT
Cesim Tanger: c'est aussi
PDF
PDF
Sogeti teampark by Capgemini
DOC
highered2006
PDF
20130706-TNP
PPTX
Спонсорам про ІІІ Всеукраїнський бізнес-турнір для учнів 8-11 класів "Стратег...
DOCX
Demanda contra la republica y edos
PDF
nikola_receomendation
Cesim Tanger: c'est aussi
Sogeti teampark by Capgemini
highered2006
20130706-TNP
Спонсорам про ІІІ Всеукраїнський бізнес-турнір для учнів 8-11 класів "Стратег...
Demanda contra la republica y edos
nikola_receomendation

Viewers also liked (6)

PDF
Highest WOD growth
DOCX
Android based projects
DOCX
Asepsia y antisepsia
PDF
5 Paywall Questions You've Been Scared to Ask
PDF
Firebase slide
PDF
HCMC Quarterly Knowledge Report | Q4 2016
Highest WOD growth
Android based projects
Asepsia y antisepsia
5 Paywall Questions You've Been Scared to Ask
Firebase slide
HCMC Quarterly Knowledge Report | Q4 2016
Ad

Similar to Dst lec3 (10)

DOCX
3rd periodical reviewer
PPTX
Constructiong Truth Table sfsdf sdfsf.pptx
PPTX
PDF
AppTheories_L3
PPTX
invention of pi
PPT
Renè descartes
PPTX
Maths π project School Project Numbers Numbers
PDF
Sorcerers Ring 17 The Gift Of Battle Morgan Rice
PPSX
Logical arguments and its computer applications.
PPTX
The fifth postulate
3rd periodical reviewer
Constructiong Truth Table sfsdf sdfsf.pptx
AppTheories_L3
invention of pi
Renè descartes
Maths π project School Project Numbers Numbers
Sorcerers Ring 17 The Gift Of Battle Morgan Rice
Logical arguments and its computer applications.
The fifth postulate
Ad

More from Abdur Rehman (18)

PDF
Financial accounting
PDF
Dscrete structure
PPTX
Valid &amp; invalid arguments
PPTX
PPTX
Sequences
PPTX
Recursion
PPTX
PPTX
Quantification
PPTX
Proving existential statements
PPTX
Method of direct proof
PPTX
Proofs by contraposition
PPTX
Laws in disceret
PPTX
Converse, contrapositive, inverse
PPTX
Constructing circuits for boolean expressions(gate)
PPTX
Application of bases
PPTX
Truth table
PPTX
Intro to disceret structure
PPTX
logic, preposition etc
Financial accounting
Dscrete structure
Valid &amp; invalid arguments
Sequences
Recursion
Quantification
Proving existential statements
Method of direct proof
Proofs by contraposition
Laws in disceret
Converse, contrapositive, inverse
Constructing circuits for boolean expressions(gate)
Application of bases
Truth table
Intro to disceret structure
logic, preposition etc

Recently uploaded (20)

PDF
Race Reva University – Shaping Future Leaders in Artificial Intelligence
PDF
LIFE & LIVING TRILOGY - PART (3) REALITY & MYSTERY.pdf
PDF
BP 505 T. PHARMACEUTICAL JURISPRUDENCE (UNIT 1).pdf
PPTX
B.Sc. DS Unit 2 Software Engineering.pptx
PDF
FOISHS ANNUAL IMPLEMENTATION PLAN 2025.pdf
PPTX
Climate Change and Its Global Impact.pptx
PDF
LIFE & LIVING TRILOGY- PART (1) WHO ARE WE.pdf
PDF
Hazard Identification & Risk Assessment .pdf
PPTX
What’s under the hood: Parsing standardized learning content for AI
PPTX
Share_Module_2_Power_conflict_and_negotiation.pptx
PDF
Environmental Education MCQ BD2EE - Share Source.pdf
PDF
HVAC Specification 2024 according to central public works department
PPTX
A powerpoint presentation on the Revised K-10 Science Shaping Paper
PDF
David L Page_DCI Research Study Journey_how Methodology can inform one's prac...
PPTX
Education and Perspectives of Education.pptx
PDF
BP 704 T. NOVEL DRUG DELIVERY SYSTEMS (UNIT 1)
DOCX
Cambridge-Practice-Tests-for-IELTS-12.docx
PDF
FORM 1 BIOLOGY MIND MAPS and their schemes
PDF
Journal of Dental Science - UDMY (2021).pdf
PDF
1.3 FINAL REVISED K-10 PE and Health CG 2023 Grades 4-10 (1).pdf
Race Reva University – Shaping Future Leaders in Artificial Intelligence
LIFE & LIVING TRILOGY - PART (3) REALITY & MYSTERY.pdf
BP 505 T. PHARMACEUTICAL JURISPRUDENCE (UNIT 1).pdf
B.Sc. DS Unit 2 Software Engineering.pptx
FOISHS ANNUAL IMPLEMENTATION PLAN 2025.pdf
Climate Change and Its Global Impact.pptx
LIFE & LIVING TRILOGY- PART (1) WHO ARE WE.pdf
Hazard Identification & Risk Assessment .pdf
What’s under the hood: Parsing standardized learning content for AI
Share_Module_2_Power_conflict_and_negotiation.pptx
Environmental Education MCQ BD2EE - Share Source.pdf
HVAC Specification 2024 according to central public works department
A powerpoint presentation on the Revised K-10 Science Shaping Paper
David L Page_DCI Research Study Journey_how Methodology can inform one's prac...
Education and Perspectives of Education.pptx
BP 704 T. NOVEL DRUG DELIVERY SYSTEMS (UNIT 1)
Cambridge-Practice-Tests-for-IELTS-12.docx
FORM 1 BIOLOGY MIND MAPS and their schemes
Journal of Dental Science - UDMY (2021).pdf
1.3 FINAL REVISED K-10 PE and Health CG 2023 Grades 4-10 (1).pdf

Dst lec3

  • 2. ARISTOTLE (384 B.C.E.–322 B.C.E.) • Aristotle was born in Stagirus (Stagira) in northern Greece. His father was the personal physician of the King of Macedonia. Because his father died when Aristotle was young, Aristotle could not follow the custom of following his father’s profession. Aristotle became an orphan at a young age when his mother also died. His guardian who raised him taught him poetry, rhetoric, and Greek. At the age of 17, his guardian sent him to Athens to further his education. Aristotle joined Plato’s Academy, where for 20 years he attended Plato’s lectures, later presenting his own lectures on rhetoric. When Plato died in 347 B.C.E., Aristotle was not chosen to succeed him because his views differed too much from those of Plato. Instead, • Aristotle joined the court of King Hermeas where he remained for three years, and married the niece of the King. When the Persians defeated Hermeas, Aristotle moved to Mytilene and, at the invitation of King Philip of Macedonia, he tutored Alexander, Philip’s son, who later became Alexander the Great. Aristotle tutored Alexander for five years and after the death of King Philip, he returned to Athens and set up his own school, called the Lyceum.
  • 3. • Aristotle’s followers were called the peripatetics, which means “to walk about,” because Aristotle often walked around as he discussed philosophical questions. Aristotle taught at the Lyceum for 13 years where he lectured to his advanced students in the morning and gave popular lectures to a broad audience in the evening. When Alexander the Great died in 323 B.C.E., a backlash against anything related to Alexander led to trumped-up charges of impiety against Aristotle. Aristotle fled to Chalcis to avoid prosecution. • He only lived one year in Chalcis, dying of a stomach ailment in 322 B.C.E. • Aristotle wrote three types of works: those written for a popular audience, compilations of scientific facts, and systematic treatises. The systematic treatises included works on logic, philosophy, psychology, physics, and natural history. Aristotle’s writings were preserved by a student and were hidden in a vault where a wealthy book collector discovered them about 200 years later. They were taken to Rome, where they were studied by scholars and issued in new editions, preserving them for posterity. ARISTOTLE (384 B.C.E.–322 B.C.E.)
  • 4. GEORGE BOOLE • GEORGE BOOLE (1815–1864) George Boole, the son of a cobbler, was born in Lincoln, England, in November 1815. Because of his family’s difficult financial situation, Boole struggled to educate himself while supporting his family. Nevertheless, he became one of the most important mathematicians of the 1800s. Although he considered a career as a clergyman, he decided instead to go into teaching, and soon afterward opened a school of his own. In his preparation for teaching mathematics, Boole unsatisfied with textbooks of his day decided to read the works of the great mathematicians. While reading papers of the great French mathematician Lagrange, Boole made discoveries in the calculus of variations, the branch of analysis dealing with finding curves and surfaces by optimizing certain parameters.
  • 5. GEORGE BOOLE • GEORGE BOOLE (1815–1864) George Boole, the son of a cobbler, was born in Lincoln, England, in November 1815. Because of his family’s difficult financial situation, Boole struggled to educate himself while supporting his family. Nevertheless, he became one of the most important mathematicians of the 1800s. Although he considered a career as a clergyman, he decided instead to go into teaching, and soon afterward opened a school of his own. In his preparation for teaching mathematics, Boole unsatisfied with textbooks of his day decided to read the works of the great mathematicians. While reading papers of the great French mathematician Lagrange, Boole made discoveries in the calculus of variations, the branch of analysis dealing with finding curves and surfaces by optimizing certain parameters.
  • 6. EXAMPLE p q pq pq ¬(pq) (pq) ¬(pq) T T T T F F T F T F T T F T T F T T F F F F T F o (pq) ¬(pq)
  • 7. EXAMPLE p q r pq ¬r (pq)¬r T T T T T F T F T T F F F T T F T F F F T o (p  q)  ¬r
  • 8. XOR o “p or q and not both p and q” • (p ∨ q) ∧ ∼(p ∧ q) is sometimes abbreviated as • p ⊕ q
  • 9. PRECEDENCE OF LOGICAL CONNECTIVES o ~ highest o Ʌ second highest o V third highest o → fourth highest o ↔ fifth highest
  • 10. LOGICAL EQUIVALENCE • If two propositions P(p,q,r….) and Q(p,q,r…) where p,q,r… are propositional variables have same truth values in every possible case, the propositions are logically equivalent • P(p,q,r….) Q(p,q,r…) • To test whether two propositions are logically equivalent 1. Construct the truth table for P 2. Construct the truth table for q using same propositional variables 3. Check each combinations of truth values of propositional variables to see whether value of P is same as the truth value of Q. • If in each row the truth value of P is same as truth value of Q then P and Q are logically equivalent.  
  • 11. LOGICAL EQUIVALENCE 1. 6 is greater than 2 2. 2 is less than 6 • two different ways of saying the same thing. • both be true or both be false. • logical form of the statements is important. p ∧ q is true when, and only when, q ∧ p is true. The statement forms are called logically equivalent
  • 12. LOGICAL EQUIVALENCE oTwo statement forms are called logically equivalent if, and only if, they have identical truth values for each possible substitution of statements for their statement variables. o P ≡ Q.
  • 13. LOGICAL EQUIVALENCE oNegation of the negation of a statement is logically equivalent to the statement. o ∼(∼p) ≡ p
  • 14. LOGICAL EQUIVALENCE o∼(p ∧ q) and ∼p ∧ ∼q are not logically equivalent p =“0 < 1” and let q =“1 < 0.”
  • 16. EQUIVALENCE LAWS • Identity laws, P  T  P, • Domination laws, P  F  F, • Idempotent laws, P  P  P, • Double negation law,  ( P)  P • Commutative laws, P  Q  Q  P, • Associative laws, P  (Q  R) (P  Q)  R, • Distributive laws, P  (Q  R) (P  Q)  (P  R) • De Morgan’s laws,  (PQ)  ( P)  ( Q) • Law with implication P  Q   P  Q
  • 17. EXCERCISE •Use Truth Table to prove Distributive law P v ( Q ^ R)  (P v Q) ^ (P v R) •Show that P  Q   P  Q: by truth table •Show that (P  Q)  (P  R)  P  (Q  R) • Calculate truth Table for P v ~Q  P ((~(P ^ Q) v R)  ~P )
  • 18. DE MORGAN’S LAWS oThe negation of the conjunction of two statements is logically equivalent to the disjunction of their negations. o ∼(p ∧ q) and ∼p ∨ ∼q are logically equivalent i.e. ∼(p ∧ q) ≡ ∼p ∨ ∼q
  • 19. DE MORGAN’S LAWS oNegation of the disjunction of two statements is logically equivalent to the conjunction of their negations: ∼(p v q) ≡ ∼p ∧ ∼q qpqp qpqp   )( )(
  • 20. DE MORGAN’S LAWS oWrite negations for each of the following statements: o John is 6 feet tall and he weighs at least 200 pounds. o The bus was late or Tom’s watch was slow. o Negation of these statements o John is not 6 feet tall or he weighs less than 200 pounds. o The bus was not late and Tom’s watch was not slow(/“Neither was the bus late nor was Tom’s watch slow.”)
  • 21. DE MORGAN’S LAWS o Negation of a disjunction is formed by taking the conjunction of the negations of the component propositions. o Negation of a conjunction is formed by taking the disjunction of the negations of the component propositions.
  • 22. DE MORGAN’S LAWS o Frequently used in writing computer programs. o For instance, suppose you want your program to delete all files modified outside a certain range of dates, say from date 1 through date 2 inclusive. o ∼(date1 ≤ file_modification_date ≤ date2) o is equivalent to o ( file_modification_date < date1) or (date2 < file_modification_date).

Editor's Notes

  • #12: *that is, a sentence that declares a fact
  • #13: *that is, a sentence that declares a fact
  • #14: *that is, a sentence that declares a fact
  • #16: *that is, a sentence that declares a fact