SlideShare a Scribd company logo
1 of 17
Download to read offline
Discrete Structures vs Discrete Mathematics
Discrete Structures are structures that are used in
describing discrete mathematics.
Discrete Mathematics is math that makes use of
discrete structures.
"Discrete Math" OR "Discrete Structure" is not the
name of a branch of mathematics, like number
theory, algebra, calculus, etc. Rather, it's a
description of a set of branches of math that all
have in common the feature that they are "discrete"
rather than "continuous".
Logic: Logic is the study of reasoning. It is the basic on which all the
sentence are build. OR Correct and Incorrect reasoning.
A proposition is a declarative sentence (that is, a sentence that
declares a fact) that is either true or false, but not both.
Imperative Declarative Interrogative
1.What time is it?
2.Read this carefully.
3.x + 1 = 2.
4. x + y = z
5.I am in Class.
6.Cat is bigger than Rat.
7.1 + 2 = 5
8.2 + 2 = 5
Propositional Logic:
The area of logic that deals
with propositions.
Compound Propositions
Logical Connectives
Logical operators are used to form new propositions
also called compound propositions from two or more
existing propositions.
A truth table is a tabular representation of all the combinations of
values for inputs and their corresponding outputs
I like A.I
Negation
• I am in NOT class
• Cat cannot fly.
• Today is Sunday.
Conjunction
Let p and q be propositions. The conjunction of p
and q, denoted by p Λ q, is the proposition “p and
q”. The conjunction p Λ q is true when both p and q
are true and is false otherwise.
Today is Friday AND it is raining today.
I'd like pizza AND a salad for lunch.
Disjunction
Let p and q be propositions. The disjunction of p and q,
denoted by p ν q, is the proposition “p or q”. The disjunction p
ν q is false when both p and q are false and is true otherwise.
Inclusive or : The disjunction is true when at least one of the two
propositions is true.
“Students who have taken calculus or computer science can take this class.”
Exclusive or : The disjunction is true only when one of the proposition is true.
“Ice cream or pudding will be served after lunch.”
CONDITIONAL STATEMENT / IMPLICATION:
Let p and q be propositions. The conditional statement
p → q, is the proposition “if p, then q” which is false
when p is true and q is false, and true otherwise.
p is called the hypothesis (or antecedent or
premise) and q is called the conclusion (or
consequence).
“You can take the flight if and only if you buy a ticket.”
CONDITIONAL STATEMENT / Bi-implications:
Let p and q be propositions. The biconditional
statement p ↔ q is the proposition “p if and only if
q.” The biconditional statement p ↔ q is true when p
and q have the same truth values, and is false
otherwise. Biconditional statements are also called
bi-implications
Other Conditional Statements:
• If you are working hard, then you are a topper. Conditional
• If you are a topper, then you are working hard. Converse
• If you are not working hard, then you are not a topper. Inverse
• If you are not topper, then you are not working hard. Contrapositive
Show using a truth table that the conditional is
equivalent to the contrapositive.
Show using truth tables that neither the
converse nor inverse of an implication are
not equivalent to the implication.
CONDITIONAL STATEMENT:
Let p and q be propositions. The conditional statement p → q is the
proposition “if p, then q.” The conditional statement p → q is false when p is
true and q is false, and true otherwise. In the conditional statement p → q, p
is called the hypothesis (or antecedent or premise) and q is called the
conclusion (or consequence).
Different Ways of Expressing p →q
Practice Time
Write each of these statements in the form “if p, then q” in English.
[Hint: Refer to the list of common ways to express conditional statements provided in this section.]
a) You send me an e-mail message only if I will remember to send you the address.
b) To be a citizen of this country, it is sufficient that you were born in the United States.
c) If you keep your textbook, it will be a useful reference in your future courses.
d) The Red Wings will win the Stanley Cup if their goalie plays well.
e) That you get the job implies that you had the best credentials.
f) The beach erodes whenever there is a storm.
g) It is necessary to have a valid password to log on to the server.
h) You will reach the summit unless you begin your climb too late.
Practice Time
Let p, q, and r be the propositions
p: You have the flu.
q: You miss the final examination.
r: You pass the course.
Express each of these propositions as an English sentence.
a) p → q
b) ¬q ↔ r
c) q →¬r
d) p ∨ q ∨ r
e) (p →¬r) ∨ (q →¬r)
f) (p ∧ q) ∨ (¬q ∧ r)
Practice Time
Let p, q, and r be the propositions
p: You get an A on the final exam.
q: You do every exercise in this book.
r: You get an A in this class.
Write these propositions using p, q, and r and logical connectives.
a) You get an A in this class, but you do not do every exercise in this book.
b) You get an A on the final, you do every exercise in this book, and you get an A in this class.
c) To get an A in this class, it is necessary for you to get an A on the final.
d) You get an A on the final, but you don’t do every exercise in this book; nevertheless, you get an A in this class.
e) Getting an A on the final and doing every exercise in this book is sufficient for getting an A in this class.
f) You will get an A in this class if and only if you either do every exercise in this book or you get an A on the final.
Propositional Equivalences, Law of Logic
⚫ A tautology is a proposition which is always true.
Example: p ∨¬p
⚫ A contradiction is a proposition which is always false.
Example: p ∧¬p
⚫ A contingency is a proposition which is neither a tautology nor a contradiction, such as p
⚫ Two compound propositions p and q are logically equivalent if p↔q is a tautology.
⚫ We write this as p⇔q or as p≡q where p and q are compound propositions.
⚫ Two compound propositions p and q are equivalent if and only if the columns in a truth
table giving their truth values agree.
⚫ This truth table show ¬p ∨ q is equivalent to p → q.
Contradiction occurs when we get a statement p, such that p is true and its negation ~p is also
true.
Propositional Equivalences, Law of Logic
Truth Tables For Compound Propositions
Propositional Equivalences, Law of Logic
Propositional Equivalences, Law of Logic

More Related Content

Similar to Discrete Structure vs Discrete Mathematics

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 د. خالد بكروDr. Khaled Bakro
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).pptMemMem25
 
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
 
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
 
1.3.3 Syllogism and Proofs
1.3.3 Syllogism and Proofs1.3.3 Syllogism and Proofs
1.3.3 Syllogism and Proofssmiller5
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdfZLEMORHAN3
 
Introduction to mathematical analysis
Introduction to mathematical analysisIntroduction to mathematical analysis
Introduction to mathematical analysisAnoojaI
 
Inductive and Deductive Reasoning
Inductive and Deductive ReasoningInductive and Deductive Reasoning
Inductive and Deductive ReasoningSonarin Cruz
 
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.pptxssuser92109d
 
CSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxCSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxMahdiHasan86
 
chapter 1 (part 2)
chapter 1 (part 2)chapter 1 (part 2)
chapter 1 (part 2)Raechel Lim
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptNandiniSR2
 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptsamalaramesh4
 
Geometry journal 2
Geometry journal 2Geometry journal 2
Geometry journal 2Katina1196
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logictommy34g
 

Similar to Discrete Structure vs Discrete Mathematics (20)

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 د. خالد بكرو
 
desmath(1).ppt
desmath(1).pptdesmath(1).ppt
desmath(1).ppt
 
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
 
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]
 
1.3.3 Syllogism and Proofs
1.3.3 Syllogism and Proofs1.3.3 Syllogism and Proofs
1.3.3 Syllogism and Proofs
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdf
 
Propositional logic
Propositional logicPropositional logic
Propositional logic
 
Introduction to mathematical analysis
Introduction to mathematical analysisIntroduction to mathematical analysis
Introduction to mathematical analysis
 
Inductive and Deductive Reasoning
Inductive and Deductive ReasoningInductive and Deductive Reasoning
Inductive and Deductive Reasoning
 
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
 
CSE-203 Lec_1.pptx
CSE-203 Lec_1.pptxCSE-203 Lec_1.pptx
CSE-203 Lec_1.pptx
 
DS Lecture 2.ppt
DS Lecture 2.pptDS Lecture 2.ppt
DS Lecture 2.ppt
 
chapter 1 (part 2)
chapter 1 (part 2)chapter 1 (part 2)
chapter 1 (part 2)
 
Course notes1
Course notes1Course notes1
Course notes1
 
Lecture5
Lecture5Lecture5
Lecture5
 
Discrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.pptDiscrete mathematics Chapter1 presentation.ppt
Discrete mathematics Chapter1 presentation.ppt
 
Basic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.pptBasic Connectives and Truth Tables.ppt
Basic Connectives and Truth Tables.ppt
 
1. Logic.pptx
1. Logic.pptx1. Logic.pptx
1. Logic.pptx
 
Geometry journal 2
Geometry journal 2Geometry journal 2
Geometry journal 2
 
Inductive reasoning & logic
Inductive reasoning & logicInductive reasoning & logic
Inductive reasoning & logic
 

More from AbdulRehman378540

Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.AbdulRehman378540
 
TIMELINE - Color 05 (Blue).pptx
TIMELINE - Color 05 (Blue).pptxTIMELINE - Color 05 (Blue).pptx
TIMELINE - Color 05 (Blue).pptxAbdulRehman378540
 
Computer-Networks--Network.ppt
Computer-Networks--Network.pptComputer-Networks--Network.ppt
Computer-Networks--Network.pptAbdulRehman378540
 
BULLYING AND HARASSMENT (1).pdf
BULLYING AND HARASSMENT (1).pdfBULLYING AND HARASSMENT (1).pdf
BULLYING AND HARASSMENT (1).pdfAbdulRehman378540
 
میں مسلمان کیوں ہوا محسن رضا فاروقی.pdf
میں مسلمان کیوں ہوا محسن رضا فاروقی.pdfمیں مسلمان کیوں ہوا محسن رضا فاروقی.pdf
میں مسلمان کیوں ہوا محسن رضا فاروقی.pdfAbdulRehman378540
 

More from AbdulRehman378540 (9)

Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.Basic structures of SETS in Discrete Mathematics.
Basic structures of SETS in Discrete Mathematics.
 
13.3_2.ppt
13.3_2.ppt13.3_2.ppt
13.3_2.ppt
 
INFOGRAPHICS.pptx
INFOGRAPHICS.pptxINFOGRAPHICS.pptx
INFOGRAPHICS.pptx
 
The Team Templates.pptx
The Team Templates.pptxThe Team Templates.pptx
The Team Templates.pptx
 
TIMELINE - Color 05 (Blue).pptx
TIMELINE - Color 05 (Blue).pptxTIMELINE - Color 05 (Blue).pptx
TIMELINE - Color 05 (Blue).pptx
 
Computer-Networks--Network.ppt
Computer-Networks--Network.pptComputer-Networks--Network.ppt
Computer-Networks--Network.ppt
 
BULLYING AND HARASSMENT (1).pdf
BULLYING AND HARASSMENT (1).pdfBULLYING AND HARASSMENT (1).pdf
BULLYING AND HARASSMENT (1).pdf
 
Computer Networks 1 .ppt
Computer Networks 1 .pptComputer Networks 1 .ppt
Computer Networks 1 .ppt
 
میں مسلمان کیوں ہوا محسن رضا فاروقی.pdf
میں مسلمان کیوں ہوا محسن رضا فاروقی.pdfمیں مسلمان کیوں ہوا محسن رضا فاروقی.pdf
میں مسلمان کیوں ہوا محسن رضا فاروقی.pdf
 

Recently uploaded

How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsanshu789521
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon AUnboundStockton
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
 
Micromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersMicromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersChitralekhaTherkar
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introductionMaksud Ahmed
 
Solving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxSolving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxOH TEIK BIN
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsKarinaGenton
 
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991RKavithamani
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentInMediaRes1
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Educationpboyjonauth
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityGeoBlogs
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfsanyamsingh5019
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfchloefrazer622
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesFatimaKhan178732
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docxPoojaSen20
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docxPoojaSen20
 

Recently uploaded (20)

How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
 
Presiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha electionsPresiding Officer Training module 2024 lok sabha elections
Presiding Officer Training module 2024 lok sabha elections
 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
 
Crayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon ACrayon Activity Handout For the Crayon A
Crayon Activity Handout For the Crayon A
 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
 
Micromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of PowdersMicromeritics - Fundamental and Derived Properties of Powders
Micromeritics - Fundamental and Derived Properties of Powders
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 
Solving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptxSolving Puzzles Benefits Everyone (English).pptx
Solving Puzzles Benefits Everyone (English).pptx
 
Science 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its CharacteristicsScience 7 - LAND and SEA BREEZE and its Characteristics
Science 7 - LAND and SEA BREEZE and its Characteristics
 
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
Industrial Policy - 1948, 1956, 1973, 1977, 1980, 1991
 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media Component
 
Introduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher EducationIntroduction to ArtificiaI Intelligence in Higher Education
Introduction to ArtificiaI Intelligence in Higher Education
 
Paris 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activityParis 2024 Olympic Geographies - an activity
Paris 2024 Olympic Geographies - an activity
 
Sanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdfSanyam Choudhary Chemistry practical.pdf
Sanyam Choudhary Chemistry practical.pdf
 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
 
Arihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdfArihant handbook biology for class 11 .pdf
Arihant handbook biology for class 11 .pdf
 
Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1Código Creativo y Arte de Software | Unidad 1
Código Creativo y Arte de Software | Unidad 1
 
Separation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and ActinidesSeparation of Lanthanides/ Lanthanides and Actinides
Separation of Lanthanides/ Lanthanides and Actinides
 
mini mental status format.docx
mini    mental       status     format.docxmini    mental       status     format.docx
mini mental status format.docx
 
MENTAL STATUS EXAMINATION format.docx
MENTAL     STATUS EXAMINATION format.docxMENTAL     STATUS EXAMINATION format.docx
MENTAL STATUS EXAMINATION format.docx
 

Discrete Structure vs Discrete Mathematics

  • 1. Discrete Structures vs Discrete Mathematics Discrete Structures are structures that are used in describing discrete mathematics. Discrete Mathematics is math that makes use of discrete structures. "Discrete Math" OR "Discrete Structure" is not the name of a branch of mathematics, like number theory, algebra, calculus, etc. Rather, it's a description of a set of branches of math that all have in common the feature that they are "discrete" rather than "continuous".
  • 2. Logic: Logic is the study of reasoning. It is the basic on which all the sentence are build. OR Correct and Incorrect reasoning. A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Imperative Declarative Interrogative 1.What time is it? 2.Read this carefully. 3.x + 1 = 2. 4. x + y = z 5.I am in Class. 6.Cat is bigger than Rat. 7.1 + 2 = 5 8.2 + 2 = 5 Propositional Logic: The area of logic that deals with propositions.
  • 3.
  • 4. Compound Propositions Logical Connectives Logical operators are used to form new propositions also called compound propositions from two or more existing propositions. A truth table is a tabular representation of all the combinations of values for inputs and their corresponding outputs I like A.I
  • 5. Negation • I am in NOT class • Cat cannot fly. • Today is Sunday. Conjunction Let p and q be propositions. The conjunction of p and q, denoted by p Λ q, is the proposition “p and q”. The conjunction p Λ q is true when both p and q are true and is false otherwise. Today is Friday AND it is raining today. I'd like pizza AND a salad for lunch.
  • 6. Disjunction Let p and q be propositions. The disjunction of p and q, denoted by p ν q, is the proposition “p or q”. The disjunction p ν q is false when both p and q are false and is true otherwise. Inclusive or : The disjunction is true when at least one of the two propositions is true. “Students who have taken calculus or computer science can take this class.” Exclusive or : The disjunction is true only when one of the proposition is true. “Ice cream or pudding will be served after lunch.”
  • 7. CONDITIONAL STATEMENT / IMPLICATION: Let p and q be propositions. The conditional statement p → q, is the proposition “if p, then q” which is false when p is true and q is false, and true otherwise. p is called the hypothesis (or antecedent or premise) and q is called the conclusion (or consequence). “You can take the flight if and only if you buy a ticket.” CONDITIONAL STATEMENT / Bi-implications: Let p and q be propositions. The biconditional statement p ↔ q is the proposition “p if and only if q.” The biconditional statement p ↔ q is true when p and q have the same truth values, and is false otherwise. Biconditional statements are also called bi-implications
  • 8. Other Conditional Statements: • If you are working hard, then you are a topper. Conditional • If you are a topper, then you are working hard. Converse • If you are not working hard, then you are not a topper. Inverse • If you are not topper, then you are not working hard. Contrapositive Show using a truth table that the conditional is equivalent to the contrapositive. Show using truth tables that neither the converse nor inverse of an implication are not equivalent to the implication.
  • 9. CONDITIONAL STATEMENT: Let p and q be propositions. The conditional statement p → q is the proposition “if p, then q.” The conditional statement p → q is false when p is true and q is false, and true otherwise. In the conditional statement p → q, p is called the hypothesis (or antecedent or premise) and q is called the conclusion (or consequence). Different Ways of Expressing p →q
  • 10. Practice Time Write each of these statements in the form “if p, then q” in English. [Hint: Refer to the list of common ways to express conditional statements provided in this section.] a) You send me an e-mail message only if I will remember to send you the address. b) To be a citizen of this country, it is sufficient that you were born in the United States. c) If you keep your textbook, it will be a useful reference in your future courses. d) The Red Wings will win the Stanley Cup if their goalie plays well. e) That you get the job implies that you had the best credentials. f) The beach erodes whenever there is a storm. g) It is necessary to have a valid password to log on to the server. h) You will reach the summit unless you begin your climb too late.
  • 11. Practice Time Let p, q, and r be the propositions p: You have the flu. q: You miss the final examination. r: You pass the course. Express each of these propositions as an English sentence. a) p → q b) ¬q ↔ r c) q →¬r d) p ∨ q ∨ r e) (p →¬r) ∨ (q →¬r) f) (p ∧ q) ∨ (¬q ∧ r)
  • 12. Practice Time Let p, q, and r be the propositions p: You get an A on the final exam. q: You do every exercise in this book. r: You get an A in this class. Write these propositions using p, q, and r and logical connectives. a) You get an A in this class, but you do not do every exercise in this book. b) You get an A on the final, you do every exercise in this book, and you get an A in this class. c) To get an A in this class, it is necessary for you to get an A on the final. d) You get an A on the final, but you don’t do every exercise in this book; nevertheless, you get an A in this class. e) Getting an A on the final and doing every exercise in this book is sufficient for getting an A in this class. f) You will get an A in this class if and only if you either do every exercise in this book or you get an A on the final.
  • 13. Propositional Equivalences, Law of Logic ⚫ A tautology is a proposition which is always true. Example: p ∨¬p ⚫ A contradiction is a proposition which is always false. Example: p ∧¬p ⚫ A contingency is a proposition which is neither a tautology nor a contradiction, such as p ⚫ Two compound propositions p and q are logically equivalent if p↔q is a tautology. ⚫ We write this as p⇔q or as p≡q where p and q are compound propositions. ⚫ Two compound propositions p and q are equivalent if and only if the columns in a truth table giving their truth values agree. ⚫ This truth table show ¬p ∨ q is equivalent to p → q.
  • 14. Contradiction occurs when we get a statement p, such that p is true and its negation ~p is also true. Propositional Equivalences, Law of Logic
  • 15. Truth Tables For Compound Propositions