SlideShare a Scribd company logo
1 of 32
GENERAL MATHEMATICS
LOGIC
Logic
• Crucial for mathematical reasoning
• Logic is a system based on propositions.
Proposition
• A declarative sentence that is either true or
false, but NOT both.
Truth value of a proposition
• is either true (T) or false (F).
Identify:
 statement
 proposition and
 truth value
“Elephants are bigger than mice.”
Is this a statement?
Is this a proposition?
What is the truth value
of the proposition?
yes
yes
true
“520 < 111”
Is this a statement?
Is this a proposition?
What is the truth value
of the proposition?
yes
yes
false
“My seatmate will get a perfect score in
the logic exam.”
Is this a statement?
Is this a proposition?
What is the truth value
of the proposition?
yes
yes
It can be either true or false. We
call this propositional function or
open sentence.
Simple Propositions
• A proposition that conveys one thought
with no connecting words.
Compound Propositions - connectives
• A compound proposition is a proposition
formed from simpler propositions using logical
connectors or some combination of logical
connectors. Some logical connectors involving
propositions p and q maybe expressed as
follows: not p, p and q, p or q, if p then q,
p if and only if q.
Examples of Compound Propositions
1. The number 2 is even and the
number 3 is odd.
2. You can have cookies or brownies.
3. If you study hard, then you’ll get
good grades.
Truth tables
is a tabular format that
shows the truth or falsity of
a compound statement.
Negation
If p is a proposition, then the negation of p is
denoted by ~p, which when translated to simple English
means- “It is not the case that p” or simply “not p”. The
truth value of p is the opposite of the truth value of p.
The truth table of ~p is:
Examples of Negation
1. p: Today is Saturday.
~p: Today is not Saturday.
2. p: The coffee is hot.
~p: The coffee is not hot.
Conjunction
For any two propositions p and q, their
conjunction is denoted by p ˄ q , which means “p
and q”. We can also use the word but. The
conjunction is true when both p and q are true,
otherwise false.
The truth table of p ˄ q is:
Examples of Conjunction
1. p: The book is interesting.
q: I am staying at home.
p ˄ q: The book is interesting, and I am
staying at home.
2. p: 12 is divisible by 3.
q: 3 is a prime number.
p ˄ q: 12 is divisible by 3, and 3 is a prime
number.
Disjunction
For any two propositions p and q, their
disjunction is denoted by p ˅ q , which means “p
or q”.
The disjunction is true when either p or q are true,
otherwise false.
The truth table of p ˅ q is:
Examples of Disjunction
1. p: I go to the mall.
q: I go to the gym.
p ˅ q: I go to the mall or to the gym.
2. p: I will buy a cellphone.
q: I will eat an ice cream.
p ˅ q: I will buy a cellphone or eat an ice cream.
Implication
For any two propositions p and q, the statement “if
p then q” is called an implication and it is denoted by
p→ q.
In the implication p→ q, p is called the hypothesis
or antecedent or premise and q is called the conclusion
or consequence.
The implication p→ q is called a conditional
statement. The implication is false when p is true and q
is false otherwise it is true.
The truth table of p → q is:
Implication
Examples of Implication
1. p: The book is expensive.
q: The writer is famous.
p → q: If the book is expensive, then the writer is
famous.
2. p: The ice is melting.
q: The temperature is hot.
p ˅ q: If the ice is melting, then the temperature
is hot.
Biconditional or Double Implication
For any two propositions p and q, the
statement “p if and only if q” is called
biconditional and it is denoted by p↔ q.
The statement p ↔ q is called a bi-
implication. The implication is true when p
and q have the same truth values, and if
false otherwise.
The truth table of p ↔ q is:
Biconditional
Examples of Biconditional
1. p: A polygon is a triangle.
q: A polygon has exactly 3 sides.
p ↔ q: A polygon is a triangle if and only if
it has 3 sides.
2. p: I am breathing.
q: I am alive.
p ↔q: I am breathing if and only if I am alive.
A. Classify each proposition as simple or
compound. Classify each compound proposition
as a negation, conjunction, disjunction,
conditional, or biconditional.
1.My friend took his master’s degree in Spain.
2. Roses are red, but violets are blue.
3. You are entitled to a 30% discount if you are
a member.
A. Classify each proposition as simple or
compound. Classify each compound proposition
as a negation, conjunction, disjunction,
conditional, or biconditional.
4. Roel was on time, but Tom was late.
5. Either he watches a movie or dines with his
friends.
6. If it is an acute angle, then it has less than 90
B. Convert each compound proposition into
symbols.
1. He has green thumb and he is a senior
citizen.
2. He does not have green thumb or he is not
a senior citizen.
B. Convert each compound proposition into
symbols.
3. It is not the case that he has green thumb
or is a senior citizen.
4. If he has green thumb, then he is not a
senior citizen.
E. Let p = Mathematics is difficult, q = PE is
easy, and b = Biology is interesting. Write
each statement in words.
Let p = Mathematics is difficult and q = PE is easy.
Write each of the following statements in symbolic
form.
1. If Mathematics is difficult, then PE is easy.
2. It is false that PE is not easy.
3. PE is not easy, and Mathematics is difficult.
4. Mathematics is difficult, or PE is easy.
5. PE is easy if Mathematics is Difficult.
Construct a truth table for
a. ~ (p ˄ q)
b. ~ (p ˅ q)
c. ~ (p ˄ ~ q)
6-Math-Logic.pptx Math logic general mathematics

More Related Content

Similar to 6-Math-Logic.pptx Math logic general mathematics

S2 1
S2 1S2 1
S2 1
IIUM
 

Similar to 6-Math-Logic.pptx Math logic general mathematics (20)

Chapter 1
Chapter 1Chapter 1
Chapter 1
 
Propositions
PropositionsPropositions
Propositions
 
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
 
Propositional Logic.pdf
Propositional Logic.pdfPropositional Logic.pdf
Propositional Logic.pdf
 
Chapter1p1 2.pptx
Chapter1p1 2.pptxChapter1p1 2.pptx
Chapter1p1 2.pptx
 
S2 1
S2 1S2 1
S2 1
 
Chapter1p1.pdf
Chapter1p1.pdfChapter1p1.pdf
Chapter1p1.pdf
 
1.3.2 Conditional Statements
1.3.2 Conditional Statements1.3.2 Conditional Statements
1.3.2 Conditional Statements
 
Logic2.pptx
Logic2.pptxLogic2.pptx
Logic2.pptx
 
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
 
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 د. خالد بكرو
 
Logic.pptx
Logic.pptxLogic.pptx
Logic.pptx
 
Proposition & Logical Operations
Proposition & Logical OperationsProposition & Logical Operations
Proposition & Logical Operations
 
Formal Logic - Lesson 2 - Logical Connectives
Formal Logic - Lesson 2 - Logical ConnectivesFormal Logic - Lesson 2 - Logical Connectives
Formal Logic - Lesson 2 - Logical Connectives
 
L01.ppt
L01.pptL01.ppt
L01.ppt
 
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS  ASSINGMENTLOGICAL CONNETIVES USE DISCRETE MATHSMATICS  ASSINGMENT
LOGICAL CONNETIVES USE DISCRETE MATHSMATICS ASSINGMENT
 
1.3.1 Conditional Statements
1.3.1 Conditional Statements1.3.1 Conditional Statements
1.3.1 Conditional Statements
 
chapter 1 (part 2)
chapter 1 (part 2)chapter 1 (part 2)
chapter 1 (part 2)
 
3.4 Conditional Statements
3.4 Conditional Statements3.4 Conditional Statements
3.4 Conditional Statements
 
Unit I discrete mathematics lecture notes
Unit I  discrete mathematics lecture notesUnit I  discrete mathematics lecture notes
Unit I discrete mathematics lecture notes
 

Recently uploaded

1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
QucHHunhnh
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
kauryashika82
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
negromaestrong
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
ciinovamais
 

Recently uploaded (20)

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
 
psychiatric nursing HISTORY COLLECTION .docx
psychiatric  nursing HISTORY  COLLECTION  .docxpsychiatric  nursing HISTORY  COLLECTION  .docx
psychiatric nursing HISTORY COLLECTION .docx
 
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
Presentation by Andreas Schleicher Tackling the School Absenteeism Crisis 30 ...
 
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
Ecological Succession. ( ECOSYSTEM, B. Pharmacy, 1st Year, Sem-II, Environmen...
 
Measures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and ModeMeasures of Central Tendency: Mean, Median and Mode
Measures of Central Tendency: Mean, Median and Mode
 
fourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writingfourth grading exam for kindergarten in writing
fourth grading exam for kindergarten in writing
 
Measures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SDMeasures of Dispersion and Variability: Range, QD, AD and SD
Measures of Dispersion and Variability: Range, QD, AD and SD
 
1029 - Danh muc Sach Giao Khoa 10 . pdf
1029 -  Danh muc Sach Giao Khoa 10 . pdf1029 -  Danh muc Sach Giao Khoa 10 . pdf
1029 - Danh muc Sach Giao Khoa 10 . pdf
 
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in DelhiRussian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
Russian Escort Service in Delhi 11k Hotel Foreigner Russian Call Girls in Delhi
 
Class 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdfClass 11th Physics NEET formula sheet pdf
Class 11th Physics NEET formula sheet pdf
 
Seal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptxSeal of Good Local Governance (SGLG) 2024Final.pptx
Seal of Good Local Governance (SGLG) 2024Final.pptx
 
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
 
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptxINDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
INDIA QUIZ 2024 RLAC DELHI UNIVERSITY.pptx
 
Activity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdfActivity 01 - Artificial Culture (1).pdf
Activity 01 - Artificial Culture (1).pdf
 
How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17How to Give a Domain for a Field in Odoo 17
How to Give a Domain for a Field in Odoo 17
 
Z Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot GraphZ Score,T Score, Percential Rank and Box Plot Graph
Z Score,T Score, Percential Rank and Box Plot Graph
 
Key note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdfKey note speaker Neum_Admir Softic_ENG.pdf
Key note speaker Neum_Admir Softic_ENG.pdf
 
APM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across SectorsAPM Welcome, APM North West Network Conference, Synergies Across Sectors
APM Welcome, APM North West Network Conference, Synergies Across Sectors
 
PROCESS RECORDING FORMAT.docx
PROCESS      RECORDING        FORMAT.docxPROCESS      RECORDING        FORMAT.docx
PROCESS RECORDING FORMAT.docx
 
microwave assisted reaction. General introduction
microwave assisted reaction. General introductionmicrowave assisted reaction. General introduction
microwave assisted reaction. General introduction
 

6-Math-Logic.pptx Math logic general mathematics

  • 2.
  • 3. Logic • Crucial for mathematical reasoning • Logic is a system based on propositions. Proposition • A declarative sentence that is either true or false, but NOT both. Truth value of a proposition • is either true (T) or false (F).
  • 5. “Elephants are bigger than mice.” Is this a statement? Is this a proposition? What is the truth value of the proposition? yes yes true
  • 6. “520 < 111” Is this a statement? Is this a proposition? What is the truth value of the proposition? yes yes false
  • 7. “My seatmate will get a perfect score in the logic exam.” Is this a statement? Is this a proposition? What is the truth value of the proposition? yes yes It can be either true or false. We call this propositional function or open sentence.
  • 8. Simple Propositions • A proposition that conveys one thought with no connecting words.
  • 9. Compound Propositions - connectives • A compound proposition is a proposition formed from simpler propositions using logical connectors or some combination of logical connectors. Some logical connectors involving propositions p and q maybe expressed as follows: not p, p and q, p or q, if p then q, p if and only if q.
  • 10. Examples of Compound Propositions 1. The number 2 is even and the number 3 is odd. 2. You can have cookies or brownies. 3. If you study hard, then you’ll get good grades.
  • 11.
  • 12. Truth tables is a tabular format that shows the truth or falsity of a compound statement.
  • 13. Negation If p is a proposition, then the negation of p is denoted by ~p, which when translated to simple English means- “It is not the case that p” or simply “not p”. The truth value of p is the opposite of the truth value of p. The truth table of ~p is:
  • 14. Examples of Negation 1. p: Today is Saturday. ~p: Today is not Saturday. 2. p: The coffee is hot. ~p: The coffee is not hot.
  • 15. Conjunction For any two propositions p and q, their conjunction is denoted by p ˄ q , which means “p and q”. We can also use the word but. The conjunction is true when both p and q are true, otherwise false. The truth table of p ˄ q is:
  • 16. Examples of Conjunction 1. p: The book is interesting. q: I am staying at home. p ˄ q: The book is interesting, and I am staying at home. 2. p: 12 is divisible by 3. q: 3 is a prime number. p ˄ q: 12 is divisible by 3, and 3 is a prime number.
  • 17. Disjunction For any two propositions p and q, their disjunction is denoted by p ˅ q , which means “p or q”. The disjunction is true when either p or q are true, otherwise false. The truth table of p ˅ q is:
  • 18. Examples of Disjunction 1. p: I go to the mall. q: I go to the gym. p ˅ q: I go to the mall or to the gym. 2. p: I will buy a cellphone. q: I will eat an ice cream. p ˅ q: I will buy a cellphone or eat an ice cream.
  • 19. Implication For any two propositions p and q, the statement “if p then q” is called an implication and it is denoted by p→ q. In the implication p→ q, p is called the hypothesis or antecedent or premise and q is called the conclusion or consequence. The implication p→ q is called a conditional statement. The implication is false when p is true and q is false otherwise it is true.
  • 20. The truth table of p → q is: Implication
  • 21. Examples of Implication 1. p: The book is expensive. q: The writer is famous. p → q: If the book is expensive, then the writer is famous. 2. p: The ice is melting. q: The temperature is hot. p ˅ q: If the ice is melting, then the temperature is hot.
  • 22. Biconditional or Double Implication For any two propositions p and q, the statement “p if and only if q” is called biconditional and it is denoted by p↔ q. The statement p ↔ q is called a bi- implication. The implication is true when p and q have the same truth values, and if false otherwise.
  • 23. The truth table of p ↔ q is: Biconditional
  • 24. Examples of Biconditional 1. p: A polygon is a triangle. q: A polygon has exactly 3 sides. p ↔ q: A polygon is a triangle if and only if it has 3 sides. 2. p: I am breathing. q: I am alive. p ↔q: I am breathing if and only if I am alive.
  • 25. A. Classify each proposition as simple or compound. Classify each compound proposition as a negation, conjunction, disjunction, conditional, or biconditional. 1.My friend took his master’s degree in Spain. 2. Roses are red, but violets are blue. 3. You are entitled to a 30% discount if you are a member.
  • 26. A. Classify each proposition as simple or compound. Classify each compound proposition as a negation, conjunction, disjunction, conditional, or biconditional. 4. Roel was on time, but Tom was late. 5. Either he watches a movie or dines with his friends. 6. If it is an acute angle, then it has less than 90
  • 27. B. Convert each compound proposition into symbols. 1. He has green thumb and he is a senior citizen. 2. He does not have green thumb or he is not a senior citizen.
  • 28. B. Convert each compound proposition into symbols. 3. It is not the case that he has green thumb or is a senior citizen. 4. If he has green thumb, then he is not a senior citizen.
  • 29. E. Let p = Mathematics is difficult, q = PE is easy, and b = Biology is interesting. Write each statement in words.
  • 30. Let p = Mathematics is difficult and q = PE is easy. Write each of the following statements in symbolic form. 1. If Mathematics is difficult, then PE is easy. 2. It is false that PE is not easy. 3. PE is not easy, and Mathematics is difficult. 4. Mathematics is difficult, or PE is easy. 5. PE is easy if Mathematics is Difficult.
  • 31. Construct a truth table for a. ~ (p ˄ q) b. ~ (p ˅ q) c. ~ (p ˄ ~ q)