SlideShare a Scribd company logo
Do U argue logically?
 How?
 You say or propose a logical statement
 Your proposition is logical if the truth of the
statement can be determined.
 Your proposition is a statement if it states a logic.
Is it a statement?
Can it be determined whether it is true or
false?
 Carlos is a boy
 Is Carlos a boy?
 y$ + x$ = “boy”
 Pair up.
 Discuss the 3 expressions.
 Which one/s are logical propositions?
 Carlos is a boy
 Is Carlos a boy?
 y$ + x$ = “boy”
Truth can be checked.
Do not know y$ or x$,
therefore cannot determine
truth of the expression.
This is a question.
Not a statement.
Proposes - states
 So to be a proposition
 It should state something
 We should be able to determine the truth of the
statement
 Sometimes it is easier to determine the truth of a
negative statement:
 Carlos is not a tree
 The propositional statement can change,
therefore can it be called a variable? For
example:-
 Carlos is a girl or Carlos is a man or Carlos is a
woman, etc.
 Area of logic includes girl, man, woman, boy,
human, etc.
 Carlos is a boy  p
 p = Carlos is a boy
 Can the variable be T for True or F for False?
How?
 If Carlos is actually a man then
 Is p = T or p = F?
 If we want to state: Carlos is NOT a boy? How
can we write this?
 ¬
 p = Carlos is a boy
 If Carlos is actually a boy, is ¬ p true?
 Pair up. Decide on all possible combinations of
the variable p.
 Now put all combinations in a table.
 What can we call this table?
 Class to break up into four groups.
 Each group to take ONE problem and show the
solution on a poster.
 Which of these sentences are propositions? What
are the truth values of those that are
propositions?
 a) Boston is the capital of Massachusetts.
 b) Miami is the capital of Florida.
 c) 2 + 3 = 5.
 d) 5 + 7 = 10.
 e) x + 2 = 11.
 f ) Answer this question
 Which of these are propositions? What are the
truth values of those that are propositions?
 a) Do not pass go.
 b) What time is it?
 c) There are no black flies in Maine
 d) 4 + x = 5.
 e) The moon is made of green cheese.
 f ) 2n ≥ 100.
 What is the negation of each of these
propositions?
 a) Mei has an MP3 player.
 b) There is no pollution in New Jersey.
 c) 2 + 1 = 3.
 d) The summer in Maine is hot and sunny.
 What is the negation of each of these
propositions?
 a) Jennifer and Teja are friends.
 b) There are 13 items in a baker’s dozen.
 c) Abby sent more than 100 text messages
every day.
 d) 121 is a perfect square.

More Related Content

PPT
Logic&proof
PPTX
Chapter1p1
PDF
Mathematical Logic
PPTX
Discrete math Truth Table
PPTX
CMSC 56 | Lecture 5: Proofs Methods and Strategy
PPTX
CMSC 56 | Lecture 4: Rules of Inference
PPT
Predicates and Quantifiers
DOCX
Rules of inference
Logic&proof
Chapter1p1
Mathematical Logic
Discrete math Truth Table
CMSC 56 | Lecture 5: Proofs Methods and Strategy
CMSC 56 | Lecture 4: Rules of Inference
Predicates and Quantifiers
Rules of inference

What's hot (20)

PPT
Discrete mathematics
PPT
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
PPTX
Predicates and quantifiers
PDF
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
PPTX
CMSC 56 | Lecture 3: Predicates & Quantifiers
PDF
Rules of inference
PPTX
Chapter1p3.pptx
PPT
Conditional Statements
PDF
1.3.2 Conditional Statements
PPTX
Normal forms
PPTX
Propositional logic
PPT
Logic (PROPOSITIONS)
KEY
Random Variables
PPTX
PPTX
Discrete Mathematics - Propositional Logic
PPTX
Propositional logic
PPTX
CMSC 56 | Lecture 2: Propositional Equivalences
PDF
Logical equivalence, laws of logic
PPTX
Truth table
PPTX
LECTURE 2: PROPOSITIONAL EQUIVALENCES
Discrete mathematics
Discrete mathematics Ch2 Propositional Logic_Dr.khaled.Bakro د. خالد بكرو
Predicates and quantifiers
Formal Logic - Lesson 4 - Tautology, Contradiction and Contingency
CMSC 56 | Lecture 3: Predicates & Quantifiers
Rules of inference
Chapter1p3.pptx
Conditional Statements
1.3.2 Conditional Statements
Normal forms
Propositional logic
Logic (PROPOSITIONS)
Random Variables
Discrete Mathematics - Propositional Logic
Propositional logic
CMSC 56 | Lecture 2: Propositional Equivalences
Logical equivalence, laws of logic
Truth table
LECTURE 2: PROPOSITIONAL EQUIVALENCES
Ad

Viewers also liked (12)

PPT
Lec 02 logical eq (Discrete Mathematics)
PDF
Chapter 1 Logic of Compound Statements
PDF
Discrete Structures lecture 2
PPT
Mathematical Logic - Part 1
PPTX
Introduction to parliamentary debate
PPTX
The logic
PDF
Logic (slides)
PDF
MDD and the Tautology Problem: Discussion Notes.
PPTX
Propositions - Discrete Structures
PPTX
Truth tables complete and p1 of short method
PPTX
Want to know about java
PPT
Propositional logic
Lec 02 logical eq (Discrete Mathematics)
Chapter 1 Logic of Compound Statements
Discrete Structures lecture 2
Mathematical Logic - Part 1
Introduction to parliamentary debate
The logic
Logic (slides)
MDD and the Tautology Problem: Discussion Notes.
Propositions - Discrete Structures
Truth tables complete and p1 of short method
Want to know about java
Propositional logic
Ad

Similar to Propositional logic (20)

ODP
Reasoning and mental aptitude for entrance test1
PPT
Name the adjectives
PPTX
Blood Relation Aptitude questions and solustions
PPT
1.1 sets, statements, and reasoning
PPS
English For Open High School - Module 3
PPT
1.02e
PPTX
3.blood relation
PDF
Grammar 1 para enseñar inglés a niños
PPT
Singular and plural noun
ODP
Questions Of Reasoning And Puzzles For Competitive Examinations
ODP
Questions of reasoning and puzzles for competitive examinations
ODP
Questions Of Reasoning And Puzzles For Competitive Examinations
ODP
Questions Of Reasoning And Puzzles For Competitive Examinations
ODP
Questions Of Reasoning And Puzzles For Competitive Examinations
ODP
Questions Of Reasoning And Puzzles For Competitive Examinations
ODP
Questions Of Reasoning And Puzzles For Competitive Examinations
PPTX
Subverb agreement
PDF
Formal Logic - Lesson 1 - Introduction to Logic
ODP
Cat,mat,gmat, questions
PPT
Teaching the verb To Be
Reasoning and mental aptitude for entrance test1
Name the adjectives
Blood Relation Aptitude questions and solustions
1.1 sets, statements, and reasoning
English For Open High School - Module 3
1.02e
3.blood relation
Grammar 1 para enseñar inglés a niños
Singular and plural noun
Questions Of Reasoning And Puzzles For Competitive Examinations
Questions of reasoning and puzzles for competitive examinations
Questions Of Reasoning And Puzzles For Competitive Examinations
Questions Of Reasoning And Puzzles For Competitive Examinations
Questions Of Reasoning And Puzzles For Competitive Examinations
Questions Of Reasoning And Puzzles For Competitive Examinations
Questions Of Reasoning And Puzzles For Competitive Examinations
Subverb agreement
Formal Logic - Lesson 1 - Introduction to Logic
Cat,mat,gmat, questions
Teaching the verb To Be

More from University of Potsdam (20)

PPTX
Computer fundamentals 01
PPTX
Workshop on android apps development
PDF
Transparency and concurrency
PDF
Database System Architecture
PDF
Functional dependency and normalization
PDF
indexing and hashing
PDF
data recovery-raid
PDF
Query processing
PDF
Machine Learning for Data Mining
PPTX
Tree, function and graph
PDF
Sets in discrete mathematics
PPT
Set in discrete mathematics
PPT
Series parallel ac rlc networks
PPT
Series parallel ac networks
PPT
PDF
PDF
Propositional logic
PDF
Prim algorithm
PPT
Predicate & quantifier
Computer fundamentals 01
Workshop on android apps development
Transparency and concurrency
Database System Architecture
Functional dependency and normalization
indexing and hashing
data recovery-raid
Query processing
Machine Learning for Data Mining
Tree, function and graph
Sets in discrete mathematics
Set in discrete mathematics
Series parallel ac rlc networks
Series parallel ac networks
Propositional logic
Prim algorithm
Predicate & quantifier

Recently uploaded (20)

PDF
Sports Quiz easy sports quiz sports quiz
PPTX
Pharmacology of Heart Failure /Pharmacotherapy of CHF
PDF
FourierSeries-QuestionsWithAnswers(Part-A).pdf
PDF
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
PDF
Pre independence Education in Inndia.pdf
PPTX
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
PDF
STATICS OF THE RIGID BODIES Hibbelers.pdf
PDF
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
PPTX
master seminar digital applications in india
PPTX
PPH.pptx obstetrics and gynecology in nursing
PPTX
Cell Structure & Organelles in detailed.
PDF
O5-L3 Freight Transport Ops (International) V1.pdf
PPTX
Introduction_to_Human_Anatomy_and_Physiology_for_B.Pharm.pptx
PPTX
Renaissance Architecture: A Journey from Faith to Humanism
PDF
Computing-Curriculum for Schools in Ghana
PPTX
human mycosis Human fungal infections are called human mycosis..pptx
PDF
Microbial disease of the cardiovascular and lymphatic systems
PDF
Physiotherapy_for_Respiratory_and_Cardiac_Problems WEBBER.pdf
PDF
VCE English Exam - Section C Student Revision Booklet
PDF
RMMM.pdf make it easy to upload and study
Sports Quiz easy sports quiz sports quiz
Pharmacology of Heart Failure /Pharmacotherapy of CHF
FourierSeries-QuestionsWithAnswers(Part-A).pdf
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
Pre independence Education in Inndia.pdf
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
STATICS OF THE RIGID BODIES Hibbelers.pdf
Black Hat USA 2025 - Micro ICS Summit - ICS/OT Threat Landscape
master seminar digital applications in india
PPH.pptx obstetrics and gynecology in nursing
Cell Structure & Organelles in detailed.
O5-L3 Freight Transport Ops (International) V1.pdf
Introduction_to_Human_Anatomy_and_Physiology_for_B.Pharm.pptx
Renaissance Architecture: A Journey from Faith to Humanism
Computing-Curriculum for Schools in Ghana
human mycosis Human fungal infections are called human mycosis..pptx
Microbial disease of the cardiovascular and lymphatic systems
Physiotherapy_for_Respiratory_and_Cardiac_Problems WEBBER.pdf
VCE English Exam - Section C Student Revision Booklet
RMMM.pdf make it easy to upload and study

Propositional logic

  • 1. Do U argue logically?
  • 2.  How?  You say or propose a logical statement  Your proposition is logical if the truth of the statement can be determined.  Your proposition is a statement if it states a logic.
  • 3. Is it a statement? Can it be determined whether it is true or false?
  • 4.  Carlos is a boy  Is Carlos a boy?  y$ + x$ = “boy”  Pair up.  Discuss the 3 expressions.  Which one/s are logical propositions?
  • 5.  Carlos is a boy  Is Carlos a boy?  y$ + x$ = “boy” Truth can be checked. Do not know y$ or x$, therefore cannot determine truth of the expression. This is a question. Not a statement. Proposes - states
  • 6.  So to be a proposition  It should state something  We should be able to determine the truth of the statement  Sometimes it is easier to determine the truth of a negative statement:  Carlos is not a tree
  • 7.  The propositional statement can change, therefore can it be called a variable? For example:-  Carlos is a girl or Carlos is a man or Carlos is a woman, etc.  Area of logic includes girl, man, woman, boy, human, etc.  Carlos is a boy  p
  • 8.  p = Carlos is a boy  Can the variable be T for True or F for False? How?  If Carlos is actually a man then  Is p = T or p = F?  If we want to state: Carlos is NOT a boy? How can we write this?  ¬
  • 9.  p = Carlos is a boy  If Carlos is actually a boy, is ¬ p true?  Pair up. Decide on all possible combinations of the variable p.  Now put all combinations in a table.  What can we call this table?
  • 10.  Class to break up into four groups.  Each group to take ONE problem and show the solution on a poster.
  • 11.  Which of these sentences are propositions? What are the truth values of those that are propositions?  a) Boston is the capital of Massachusetts.  b) Miami is the capital of Florida.  c) 2 + 3 = 5.  d) 5 + 7 = 10.  e) x + 2 = 11.  f ) Answer this question
  • 12.  Which of these are propositions? What are the truth values of those that are propositions?  a) Do not pass go.  b) What time is it?  c) There are no black flies in Maine  d) 4 + x = 5.  e) The moon is made of green cheese.  f ) 2n ≥ 100.
  • 13.  What is the negation of each of these propositions?  a) Mei has an MP3 player.  b) There is no pollution in New Jersey.  c) 2 + 1 = 3.  d) The summer in Maine is hot and sunny.
  • 14.  What is the negation of each of these propositions?  a) Jennifer and Teja are friends.  b) There are 13 items in a baker’s dozen.  c) Abby sent more than 100 text messages every day.  d) 121 is a perfect square.