What does the word Proof mean to you A) Establishing a fact with complete certainty
|
|
- Brook O’Brien’
- 6 years ago
- Views:
Transcription
1 Silly starter Clicker question What does the word Proof mean to you A) Establishing a fact with complete certainty B) Establishing a fact beyond reasonable doubt C) What happens to dough when you add yeast D) None of the above
2 Silly starter Clicker question The picture is an example of which fallacy? A) Straw man B Slippery slope C) Argumentum ad hominum D) Ignoratio Elenchi E) Circular reasoning
3 Lecture 2, MATH 210G.02, Fall 2017: Logic Part 2: Symbolic Logic
4 Law of the excluded middle For every proposition, either the proposition is true or its negation is true Either Socrates is a man or Socrates is not a man Either It is true that Socrates is a man or It is true that Socrates is not a man What about This sentence is neither true nor false Problem of self-reference or implied it is true that
5 A use of the excluded middle There exist positive, irrational numbers a and b such that is rational. Proof: If If is irrational (believe me next week) is rational then we are done: is irrational then Does the trick. Proof is nonconstructive. It does not tell us whether rational for particular irrational values of a and b. is
6 Problems with the excluded middle Many statements have an element of uncertainty and are subject to an error of equivocation or false dilemma Four quarters are a dollar Either it is raining or it is not raining Either Sophia Vergara is blonde or she is not blonde. Either NMSU has a better football team or UTEP has a better football team These examples all suffer from imprecise language.
7 Logical arguments I: The syllogism Aristotle, Prior Analytics: a syllogism is "a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so.
8 Syllogism cont. A categorical syllogism consists of three parts: the major premise, the minor premise and the conclusion. Major premise: All men are mortal. Minor premise: Socrates is a man. Conclusion: Socrates is mortal. Major premise: All mortals die. Minor premise: All men are mortals. Conclusion: All men die.
9 Robert Z dar has a prominent chin. Identify the major premise: All dogs have four legs Milo is a dog People who solve problems can get jobs. Students good in math can solve problems. Women like a man with a prominent chin.
10 ou Logic, n. The art of thinking and reasoning in strict accordance with the limitations and incapacities of the human misunderstanding. The basic of logic is the syllogism, consisting of a major and a minor premise and a conclusion - thus: Major Premise: Sixty men can do a piece of work sixty times as quickly as one man. Minor Premise: One man can dig a post-hole in sixty seconds; Therefore- Conclusion: Sixty men can dig a post-hole in one second. This may be called syllogism arithmetical, in which, by combining logic and mathematics, we obtain a double certainty and are twice blessed.
11 Modus ponendo ponens ("the way that affirms by affirming ) If P, then Q. P. Thus, Q If Socrates is a man then Socrates is mortal Socrates is a man Therefore, Socrates is mortal
12 Logic and causality
13 Causality Plato is a dog. all dogs are green Plato is green.
14 Universe of discourse
15 Logic and symbol of propositional calculus P, Q, R etc: propositional variables Substitute for statements, e.g., P: Plato is a dog, Q: Plato is Green Logical connectives: Proposition: If Plato is a dog then Plato is green:
16 Truth tables P Q (conjunction) T T T T F F F T F F F F P Q (disjunction) T T T T F T F T T F F F
17 Clicker question P: Socrates is a man Q: Socrates is mortal. If Socrates is a man then Socrates is mortal. Suppose that Socrates is not a man. Is the whole statement: Clicker: True (A) or False (B) true or false?
18 Truth table for implication P Q (implication) T T T T F F F T T F F T
19 Why is If p then q true whenever p is false? Your mom always tells the truth right? Your mom makes a promise: if you get an A in math then we ll get you a puppy Suppose you don t get an A in math. If you don t get a puppy, then your mom has not broken her promise. If you get a puppy anyway, she still has not broken her promise. P: you get an A in math; Q: get a puppy holds either way.
20 Simple and compound statements A simple statement is sometimes called an atom. E.g., Milo is a dog; Socrates is a man; Men are mortal. A compound statement is a string of atoms joined by logical connectives (and, or, then, not) Logical equivalence: vs Truth value of a compound statement is inherited from the values of the atoms.
21 Truth table for modus ponens No matter what truth values are assigned to the statements p and q, the statement is true
22 Exercise: complete the truth table for modus tollens P Q ~P ~Q T T T T F F F T T F F T
23 For compound statements with conjunctions ( ) to be true, the elements on both sides of must have the value T so the fourth column is as follows: P Q T T T F T F F F F T T F F F T T
24 For condition statements or implications with -> to be true, either the statement to the lef of the implication has to be false or the statement to the right of the implicationhas to be true. The statement (p->q) -q is false in the frst three cases and the statement p is true in the last, so the fourth column has value T in all cases P Q T T T F T T F F F T F T T F T F F T T T
25 p ~p q Q ~ T T T F T F F F F T T F Clicker questions: F F T T First row: True (A) or False (B) Second row: True (A) or False (B) Third row: True (A) or False (B) Fourth row: True (A) or False (B)
26 Logical equivalence Two formulas are logically equivalent if they have the same truth values once values are assigned to the atoms. Ex: is equivalent is equivalent to How to check logical equivalence: verify that the statements always have the same values
27 Exercise: verify that the statements, and are logically equivalent p q T T T T T T F F F T T F F T
28 Exercise: Verify using truth tables that the following DeMorgan s laws are logically equivalent
29 Exercise: Verify using truth tables the following absorption rules and the conditional rules
30 Match the following logical equivalencies with the corresponding rules of inference
31 Tautology and contradiction: T or C A logical statement that is always true, independent of whether each of the symbols is true, is called a tautology. A logical statement that is always true, independent of whether each of the symbols is true, is called a contradiction.
32 Logical equivalence laws Commutative laws: p q = q p; p q = q p Associative laws: (p q) r = p (q r), (p q) r = p (q r) Distributive laws: p (q r) = (p q) (p r) p (q r) = (p q) (p r) Identity, universal bound, idempotent, and absorption laws: p t = p, p c = p p t = t, p c = c p p = p, p p = p p (p q) = p, p (p q) = p De Morgan s laws: ~(p q) = ~p ~q, ~(p q) = ~p ~q
33 Show that the following are logically equivalent: (r V p) ^ ( ( ~r V (p^q) ) ^ (r V q) ) and p ^ q
34
35 Boole ( ) and DeMorgan ( ) De Morgan s laws: not (P and Q) = (not P) or (not Q) not (P or Q) = (not P) and (not Q)
36 Boolean algebra
37 Other logical deduction rules
38 Exercises
39 Fill in the following truth table
40 Fill in the following truth table
41 Fill in the following truth table
42 Where are the glasses? Premises: Exercise 1: Complex deduction If my glasses are on the kitchen table, then I saw them at breakfast I was reading the newspaper in the living room or I was reading the newspaper in the kitchen If I was reading the newspaper in the living room, then my glasses are on the coffee table I did not see my glasses at breakfast If I was reading my book in bed, then my glasses are on the bed table If I was reading the newspaper in the kitchen, then my glasses are on the kitchen table
43 Deduce the following using truth tables or deduction rules
44 NAME NAME NAME NAME Write each of the following three statements in the symbolic form and determine which pairs are logically equivalent a. If it walks like a duck and it talks like a duck, then it is a duck b. Either it does not walk like a duck or it does not talk like a duck, or it is a duck c. If it does not walk like a duck and it does not talk like a duck, then it is not a duck
45 Walks like duck (W) Talks like duck (Ta) Is duck (D) T T T T T F T F T T F F F T T Walks F like duck ~ W T Talks like duck ~ T F Is duck T F F T T T T F F T F F T F T T F F F T T F T F
46 Exercise: Are the statements and are logically equivalent p q T T T T T F F F T T F F T
47 Spatial logic puzzles The last set of exercises here will not be reflected on the midterm exam because of their level of complexity, combining spatial reasoning and logic.
48 Spatial logic puzzles Spatial logic puzzles involve deducing certain attributes attached to specifc entities by a process of elimination that takes spatial or temporal information into account.
49 Zebra puzzle There are 5 houses each with a different color. Their owners, each with a unique heritage, drinks a certain type of beverage, smokes a certain brand of cigarette, and keeps a certain variety of pet. None of the owners have the same variety of pet, smoke the same brand of cigarette or drink the same beverage. Clues: The Brit lives in the red house. The Swede keeps dogs as pets. The Dane drinks tea. Looking from in front, the green house is just to the lef of the white house. The green house's owner drinks coffee. The person who smokes Pall Malls raises birds. The owner of the yellow house smokes Dunhill. The man living in the center house drinks milk. The Norwegian lives in the lefmost house. The man who smokes Blends lives next to the one who keeps cats. The man who keeps a horse lives next to the man who smokes Dunhill. The owner who smokes Bluemasters also drinks beer. The German smokes Prince. The Norwegian lives next to the blue house. The man who smokes Blends has a neighbor who drinks water. Who owns the pet fish?
50
51 Five women bought fve different types of flowers for different reasons on different days. Names: Julia, Amy, Bethany, Rachel, and Kristen Flowers: Roses, Daisies, Lilies, Tulips, and Carnations Colors: Purple, Yellow, Pink, White, and Peach Places or Occasions: Backyard, Park, Office, Wedding, and Birthday Days: Monday, Tuesday, Wednesday, Thursday, and Friday 1. The flowers were purchased in the following order: tulips, the flowers for the office, the purple flowers, the roses for the park, and the white flowers bought by Julia. 2. Bethany loves flowers but is allergic, so she would never have them indoors. 3. It rained on Wednesday and Friday, because of this, the wedding and birthday party had to be moved indoors. 4. Amy bought her flowers afer Rachel, but before Kristen. 5. Rachel needed something more to add to her office, so she chose peach flowers to match her curtains. 6. On Wednesday the only purple flowers available at the flower shop were daisies. 7. The pink flowers were bought afer the carnations, but before the lilies. 8. The flowers for the birthday were bought afer the flowers for the office, but before the flowers for the wedding.
52 Assassin is a popular game on college campuses. The game consists of several players trying to eliminate the others by means of squirting them with water pistols in order to be the last survivor. Once hit, the player is out of the game. Game play is fair play at all times and all locations, and tends to last several days depending on the number of participants and their stealth. At Troyhill University, 5 students participated in a game that only lasted four days. Can you determine each player's frst name, their color, their assassin alias, how they were eliminated, and their major? Names: Liam, Anabel, Bella, Oliver, Ethan Colors: Red, Green, Blue, Purple, Black Alias: Captain Dawn, Night Stalker, Dark Elf, McStealth, Billy Capture: Caught at weekly study group, Caught helping friend with car trouble, Ambushed during sleep, Caught on the way to class, Winner Major: Economics, Biology, Art History, Sociology, Psychology MONDAY: Liam, the girl named Captain Dawn, and the person in purple avoided any action that day. The psychology major was able to easily catch Ethan because she already had a study group meeting with him that day. Since it was a weekly engagement, he didn't suspect a thing. Goodbye red player. TUESDAY: Everyone tried to get in on the action today. The girl masquerading as the Dark Elf (who was wearing either black or red) and the sociology major lived to see another day. The purple player was able to catch the obliging yet naive green player by calling her and pretending he had car trouble. WEDNESDAY: The biology major (who was still "alive") was surprised to hear that the Psychology major, who wasn't Anabel the art history major, ambushed Night Stalker as he slept in his dorm. THURSDAY: The black player was declared the victor afer luckily spotng "Billy" on his way to Mammalian Physiology, a class required by his major.
53
54 More logic grid puzzles
55 Exercise Solutions
56 Fill in the following truth table p q r p ^ r ~ ( p ^ r ) ~ ( p ^ r ) v q T T T T F T T F F T T F T T F T F F F T F T T F T F T F F T F F T F T F F F F T
57 Fill in the following truth table p q r p ^ r ~ ( p ^ r ) ~ ( p ^ r ) v q T T T T F T T T F F T T T F T T F F T F F F T T F T T F T T F T F F T T F F T F T T F F F F T T
58 Fill in the following truth table P Q ~P ~Q P^~Q ~P v Q ~(~P v Q) ~P v ( P ^ ~ Q) Q ^ ~ (~ P v Q) T T F F F T F F T F F T T F T T F T T F F T F T F F T T F T F T
59 Fill in the following truth table P Q ~P ~Q P^~Q ~P v Q ~(~P v Q) ~P v ( P ^ ~ Q) Q ^ ~ (~ P v Q) T T F F F T F F T F F T T F T T F T T F F T F T F F T T F T F T F F F F
60 Fill in the following truth table A B C D ~A ~AvB ~C ~C^D (~AvB)->(~C^D) T T T T F T F F T T T F F T F F T T F T F T T T T T F F F T T F T F T T F F F F T F T F F F F F T F F T F F T T T F F F F F T F F T T T T T F F F T T F T T F F
61 Fill in the following truth table A B C D ~A ~AvB ~C ~C^D (~AvB)->(~C^D) T T T T F T F F F T T T F F T F F F T T F T F T T T T T T F F F T T F F T F T T F F F F T T F T F F F F F T T F F T F F T T T T F F F F F T F T F T T T T T F F F F T T F T T F F F F T F T T T T T T F T F F T T T F F F F T T T T F F F F F T F T T F F F F F F T T T T T T F F F F T T T F T
62 Premises: Exercise 1: Complex deduction (solution) If my glasses are on the kitchen table, then I saw them at breakfast. I was reading the newspaper in the living room or I was reading the newspaper in the kitchen. If I was reading the newspaper in the living room, then my glasses are on the coffee table. I did not see my glasses at breakfast. If I was reading my book in bed, then my glasses are on the bed table. If I was reading the newspaper in the kitchen, then my glasses are on the kitchen table Where are the glasses? SOLN: Since I did not see my glasses at breakfast, they are not on the kitchen table. Therefore I was not reading the newspaper in the kitchen. Therefore I was reading the newspaper in the living room. Therefore my glasses are on the coffee table. Notice that the conditional statement: If I was reading my book in bed then my glasses are on the bed table is a red herring because nothing else supports the conclusion that I was reading in bed or that my glasses are on the bed table.
63 Deduce the following using truth tables or deduction rules Complete the following truth table to confrm the equivalence: P ~P Q ~Q P v ~ Q ~P ^ ~Q ~(P v ~ Q) ~(P v ~ Q) v (~P ^ ~Q) T T F T F F T F T T F F F T F F F T F F T T T F
64 Deduce the following using truth tables or deduction rules The following truth table confrms the equivalence: P ~P Q ~Q P v ~ Q ~P ^ ~Q ~(P v ~ Q) ~(P v ~ Q) v (~P ^ ~Q) T F T F T F F F T F F T T F F F F T T F F F T T F T F T T T F T
65 NAME NAME NAME NAME Write each of the following three statements in the symbolic form and determine which pairs are logically equivalent a. If it walks like a duck and it talks like a duck, then it is a duck b. Either it does not walk like a duck or it does not talk like a duck, or it is a duck c. If it does not walk like a duck and it does not talk like a duck, then it is not a duck
66 Walks like duck (W) Talks like duck (Ta) Is duck (D) T T T T T T F T T F T F T F F F F T T F Walks F like Talks like duck T Is duck ~ W F~ T ~WV~T F duck TF T F T F TF F F TF T F F F FF F F T F T F T T T F F F T T F T T T F T F T F T F T
67 Walks like duck (W) Talks like duck (Ta) Is duck (D) T T T T T T T F T F T F T F T T F F F T F T T F T F T F F T F F T F T F F F F T Walks like duck Talks like duck Is duck ~ W ~ T ~WV~T T T T F F F T T T F F F F F T F T F T T T T F F F T T T F T T T F T T F T F T F T T F F T T T T T F F F T T T T
68 Exercise: Are the statements and are logically equivalent? SOLN: No: truth values are not all the same: p q T T T T T F F T F T T F F F T T
69 Spatial logic puzzles We only solve the zebra puzzle to illustrate the thinking involved.
70 l Zebra puzzle Bri Sw Da Ge No Re Gr W Yel Blu Do Bir Cat Ho Fis Te Cof Mil Be Wa t ed ne rm rge d ee hit lo e g d rse h a fee k er ter e an n e w Pal Du Ble Bl Pri n nd Ma nc e Red o x x x x x x x x Green x o x There are 5 houses each with a different color. Their owners, each with a unique heritage, drinks a certain type of beverage, smokes a certain brand of cigarette, and keeps a certain variety of White x x x pet. None of the owners have the same variety of pet, smoke the same brand of cigarette or Yellow x x x drink the same beverage. Clues: Blue x x x x o Dog o x The Brit lives in the red house. The Swede keeps dogs as pets. The Dane drinks tea. Looking from Bird x o in front, the green house is just to the lef of the white house. The green house's owner Cat x x x drinks coffee. The person who smokes Pall Malls raises birds. The owner of the yellow house smokes Dunhill. The man living in the center house drinks milk. The Norwegian lives in the Horse x x x lefmost house. The man who smokes Blends lives next to the one who keeps cats. The man Fish x x who keeps a horse lives next to the man who smokes Dunhill. The owner who smokes Bluemasters also drinks beer. The German smokes Prince. The Norwegian Tea lives o x next to the x blue house. The man who smokes Blends has a neighbor who drinks water. Coffee x o x Who owns the pet fish? Milk x x x x
71 Soln: We know that the Norwegian lives in the lefmost house, which is next to the blue house, so the blue house is the second house. Since the Brit lives in the red house, the red house cannot be the frst lefmost house. Since the white house is to the right of the green house, we can only conclude that the three houses on the right are red, green or white. So the Norwegian lives in the yellow house and smokes Dunhills. Thus, the horse must belong to the second (blue) house. The center house is not green since its owner drinks milk, not coffee. Therefore the center house must be red, the next house green and the rightmost house white. We now know that the Brit lives in the middle house. The man in the blue house is not British, Norwegian or Swedish (dogs) so is German or Danish. If he is German then he smokes Pall Malls and the smokers of Blends, BlueMeisters and Pall Mall live in the right three houses as do the drinkers of milk (middle), beer (Bluemeisters) and coffee (green). This leads to a contradiction since then the drinkers of tea and water live in the lef two houses impossible if the tea drinker is Danish. So the blue house belongs to the Dane. The owners of the two right houses then are German and Swede. Since the Dane in the blue house does not smoke Prince (German), Dunhill (Norwegian), Pall Mall (Birds, not horse) or Bluemeister (beer, not tea), the Dane must smoke Blends. Since the middle house drinks milk, the Dane s other neighbor-the Norwegian, must drink water. This forces the owner of the white house to drink beer since that of the Green house drinks tea. Since the German smokes Prince, not Bluemeisters, the German must live in the Green house and the Swede in the White house and the Brit must have the birds. The cat must live with the Norwegian. This means the German owns the fsh.
What is the story behind the picture?
What is the story behind the picture? Silly starter Clicker question The picture is an example of which fallacy? A) Straw man B Slippery slope C) Argumentum ad hominum D) Ignoratio Elenchi E) Circular
More informationChapter 1: The Logic of Compound Statements. January 7, 2008
Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive
More informationCS2336 Discrete Mathematics
CS2336 Discrete Mathematics Homework 1 Tutorial: March 20, 2014 Problems marked with * will be explained in the tutorial. 1. Determine which of the following statements are propositions and which are non-propositions.
More informationProposition logic and argument. CISC2100, Spring 2017 X.Zhang
Proposition logic and argument CISC2100, Spring 2017 X.Zhang 1 Where are my glasses? I know the following statements are true. 1. If I was reading the newspaper in the kitchen, then my glasses are on the
More informationWhere are my glasses?
Proposition logic and argument CISC2100, Spring 2017 X.Zhang 1 Where are my glasses? I know the following statements are true. 1. If I was reading the newspaper in the kitchen, then my glasses are on the
More informationThe Logic of Compound Statements cont.
The Logic of Compound Statements cont. CSE 215, Computer Science 1, Fall 2011 Stony Brook University http://www.cs.stonybrook.edu/~cse215 Refresh from last time: Logical Equivalences Commutativity of :
More information3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations
Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element
More informationLogic Overview, I. and T T T T F F F T F F F F
Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical
More informationDefinition 2. Conjunction of p and q
Proposition Propositional Logic CPSC 2070 Discrete Structures Rosen (6 th Ed.) 1.1, 1.2 A proposition is a statement that is either true or false, but not both. Clemson will defeat Georgia in football
More informationPropositional Logic. Argument Forms. Ioan Despi. University of New England. July 19, 2013
Propositional Logic Argument Forms Ioan Despi despi@turing.une.edu.au University of New England July 19, 2013 Outline Ioan Despi Discrete Mathematics 2 of 1 Order of Precedence Ioan Despi Discrete Mathematics
More information2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic
CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares
More informationMATH 22 INFERENCE & QUANTIFICATION. Lecture F: 9/18/2003
MATH 22 Lecture F: 9/18/2003 INFERENCE & QUANTIFICATION Sixty men can do a piece of work sixty times as quickly as one man. One man can dig a post-hole in sixty seconds. Therefore, sixty men can dig a
More informationTHE LOGIC OF COMPOUND STATEMENTS
THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment
More informationPredicate Logic & Quantification
Predicate Logic & Quantification Things you should do Homework 1 due today at 3pm Via gradescope. Directions posted on the website. Group homework 1 posted, due Tuesday. Groups of 1-3. We suggest 3. In
More informationPropositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38
Propositional Logic Jason Filippou CMSC250 @ UMCP 05-31-2016 ason Filippou (CMSC250 @ UMCP) Propositional Logic 05-31-2016 1 / 38 Outline 1 Syntax 2 Semantics Truth Tables Simplifying expressions 3 Inference
More informationChapter 4, Logic using Propositional Calculus Handout
ECS 20 Chapter 4, Logic using Propositional Calculus Handout 0. Introduction to Discrete Mathematics. 0.1. Discrete = Individually separate and distinct as opposed to continuous and capable of infinitesimal
More information10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference
Logic? Propositional Logic (Rosen, Chapter 1.1 1.3) TOPICS Propositional Logic Truth Tables Implication Logical Proofs 10/1/12 CS160 Fall Semester 2012 2 What is logic? Logic is a truth-preserving system
More information2. The Logic of Compound Statements Summary. Aaron Tan August 2017
2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional
More informationToday s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)
Today s Lecture 2/25/10 Truth Tables Continued Introduction to Proofs (the implicational rules of inference) Announcements Homework: -- Ex 7.3 pg. 320 Part B (2-20 Even). --Read chapter 8.1 pgs. 345-361.
More informationCSC Discrete Math I, Spring Propositional Logic
CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)
More informationAnnouncements CompSci 102 Discrete Math for Computer Science
Announcements CompSci 102 Discrete Math for Computer Science Read for next time Chap. 1.4-1.6 Recitation 1 is tomorrow Homework will be posted by Friday January 19, 2012 Today more logic Prof. Rodger Most
More informationAt least one of us is a knave. What are A and B?
1. This is a puzzle about an island in which everyone is either a knight or a knave. Knights always tell the truth and knaves always lie. This problem is about two people A and B, each of whom is either
More informationDISCRETE MATHEMATICS BA202
TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION
More informationCHAPTER 1 - LOGIC OF COMPOUND STATEMENTS
CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS 1.1 - Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement
More informationPROPOSITIONAL CALCULUS
PROPOSITIONAL CALCULUS A proposition is a complete declarative sentence that is either TRUE (truth value T or 1) or FALSE (truth value F or 0), but not both. These are not propositions! Connectives and
More informationDiscrete Structures of Computer Science Propositional Logic III Rules of Inference
Discrete Structures of Computer Science Propositional Logic III Rules of Inference Gazihan Alankuş (Based on original slides by Brahim Hnich) July 30, 2012 1 Previous Lecture 2 Summary of Laws of Logic
More information(Refer Slide Time: 02:20)
Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 5 Logical Inference In the last class we saw about
More informationChapter 1 Elementary Logic
2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help
More informationChapter 1 Logic Unit Math 114
Chapter 1 Logic Unit Math 114 Section 1.1 Deductive and Induction Reasoning Statements Definition: A statement is a group of words or symbols that can be classified as true or false. Examples of statements
More informationLogic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another.
Math 0413 Appendix A.0 Logic Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another. This type of logic is called propositional.
More informationPropositional Logic. Spring Propositional Logic Spring / 32
Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements
More information1.1 Statements and Compound Statements
Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something
More informationChapter Summary. Propositional Logic. Predicate Logic. Proofs. The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.
Chapter 1 Chapter Summary Propositional Logic The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.3) Predicate Logic The Language of Quantifiers (1.4) Logical Equivalences (1.4)
More informationChapter 3: Logic. Diana Pell. A statement is a declarative sentence that is either true or false, but not both.
Chapter 3: Logic Diana Pell Section 3.1: Statements and Quantifiers A statement is a declarative sentence that is either true or false, but not both. Exercise 1. Decide which of the following are statements
More information1) Let h = John is healthy, w = John is wealthy and s = John is wise Write the following statement is symbolic form
Math 378 Exam 1 Spring 2009 Show all Work Name 1) Let h = John is healthy, w = John is wealthy and s = John is wise Write the following statement is symbolic form a) In order for John to be wealthy it
More informationSample Problems for all sections of CMSC250, Midterm 1 Fall 2014
Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical
More informationChapter 1, Part I: Propositional Logic. With Question/Answer Animations
Chapter 1, Part I: Propositional Logic With Question/Answer Animations Chapter Summary Propositional Logic The Language of Propositions Applications Logical Equivalences Predicate Logic The Language of
More information- a reversed conditional; if a conditional is p q, than its converse is q p
Lesson 5: Inductive and Deductive Reasoning Conditional - a statement that tells if one thing happens, another will follow; stated as if p, then q written as p q; Contrapositive - a type of conditional
More informationSection 1.1: Logical Form and Logical Equivalence
Section 1.1: Logical Form and Logical Equivalence An argument is a sequence of statements aimed at demonstrating the truth of an assertion. The assertion at the end of an argument is called the conclusion,
More informationUnit 1. Propositional Logic Reading do all quick-checks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9
Unit 1. Propositional Logic Reading do all quick-checks Propositional Logic: Ch. 2.intro, 2.2, 2.3, 2.4. Review 2.9 Typeset September 23, 2005 1 Statements or propositions Defn: A statement is an assertion
More informationDiscrete Structures for Computer Science
Discrete Structures for Computer Science William Garrison bill@cs.pitt.edu 6311 Sennott Square Lecture #4: Predicates and Quantifiers Based on materials developed by Dr. Adam Lee Topics n Predicates n
More informationUnit 1 Logic Unit Math 114
Unit 1 Logic Unit Math 114 Section 1.1 Deductive and Induction Reasoning Deductive Reasoning: The application of a general statement to a specific instance. Deductive reasoning goes from general to specific
More informationDiscrete Structures & Algorithms. Propositional Logic EECE 320 // UBC
Discrete Structures & Algorithms Propositional Logic EECE 320 // UBC 1 Review of last lecture Pancake sorting A problem with many applications Bracketing (bounding a function) Proving bounds for pancake
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationWhat is Logic? Introduction to Logic. Simple Statements. Which one is statement?
What is Logic? Introduction to Logic Peter Lo Logic is the study of reasoning It is specifically concerned with whether reasoning is correct Logic is also known as Propositional Calculus CS218 Peter Lo
More informationMACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class)
MACM 101 Discrete Mathematics I Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class) SOLUTIONS 1. Construct a truth table for the following compound proposition:
More informationLogic. Propositional Logic: Syntax. Wffs
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More information1 The Foundation: Logic and Proofs
1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( ) a declarative sentence that is either true or false, but not both nor neither letters denoting propostions p, q, r, s, T: true
More informationTopic 1: Propositional logic
Topic 1: Propositional logic Guy McCusker 1 1 University of Bath Logic! This lecture is about the simplest kind of mathematical logic: propositional calculus. We discuss propositions, which are statements
More informationPropositional Logic. Chrysippos (3 rd Head of Stoic Academy). Main early logician. AKA Modern Logic AKA Symbolic Logic. AKA Boolean Logic.
Propositional Logic. Modern Logic. Boolean Logic. AKA Modern Logic AKA Symbolic Logic. AKA Boolean Logic. Chrysippos (3 rd Head of Stoic Academy). Main early logician Stoic Philosophers Zeno ff301bc. Taught
More informationUnit 1 Logic Unit Math 114
Unit 1 Logic Unit Math 114 Section 1.1 Deductive and Induction Reasoning Deductive Reasoning: The application of a general statement to a specific instance. Deductive reasoning goes from general to specific
More informationSection 1.3: Valid and Invalid Arguments
Section 1.3: Valid and Invalid Arguments Now we have developed the basic language of logic, we shall start to consider how logic can be used to determine whether or not a given argument is valid. In order
More informationCS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)
CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1) Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bio-conditional Converse Inverse Contrapositive Laws of
More informationCompound Propositions
Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth
More informationCSE 20: Discrete Mathematics
Spring 2018 Summary Last time: Today: Logical connectives: not, and, or, implies Using Turth Tables to define logical connectives Logical equivalences, tautologies Some applications Proofs in propositional
More informationLogical Form 5 Famous Valid Forms. Today s Lecture 1/26/10
Logical Form 5 Famous Valid Forms Today s Lecture 1/26/10 Announcements Homework: --Read Chapter 7 pp. 277-298 (doing the problems in parts A, B, and C pp. 298-300 are recommended but not required at this
More informationIt rains now. (true) The followings are not propositions.
Chapter 8 Fuzzy Logic Formal language is a language in which the syntax is precisely given and thus is different from informal language like English and French. The study of the formal languages is the
More information1 The Foundation: Logic and Proofs
1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( 명제 ) a declarative sentence that is either true or false, but not both nor neither letters denoting propositions p, q, r, s, T:
More informationCS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.
3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on
More informationNatural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.
Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. The method consists of using sets of Rules of Inference (valid argument forms)
More informationcis32-ai lecture # 18 mon-3-apr-2006
cis32-ai lecture # 18 mon-3-apr-2006 today s topics: propositional logic cis32-spring2006-sklar-lec18 1 Introduction Weak (search-based) problem-solving does not scale to real problems. To succeed, problem
More informationCSCI-2200 FOUNDATIONS OF COMPUTER SCIENCE
1 CSCI-2200 FOUNDATIONS OF COMPUTER SCIENCE Spring 2015 February 5, 2015 2 Announcements Homework 1 is due now. Homework 2 will be posted on the web site today. It is due Thursday, Feb. 12 at 10am in class.
More informationLogic. Propositional Logic: Syntax
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More informationMath 2534 Solution Homework 2 Spring 2017
Math 2534 Solution Homework 2 Spring 2017 Put all work on another sheet of paper unless told otherwise. Staple multiple sheets. Problem 1: Use Algebra of Logic to prove the following and justify each step.
More informationPropositional Calculus
CHAPTER - 1 Propositional Calculus Introduction Logic means reasoning. One of the important aims of logic is to provide rules through which one can determine the validity of any particular argument. Logic
More informationChapter 1 - Foundations
Chapter 1 - oundations Introduction Suppose that: 1. Babies are illogical. 2. Nobody is despised who can manage a crocodile. 3. Illogical persons are despised. What conclusion may be reached using all
More informationAnnouncements. Exam 1 Review
Announcements Quiz today Exam Monday! You are allowed one 8.5 x 11 in cheat sheet of handwritten notes for the exam (front and back of 8.5 x 11 in paper) Handwritten means you must write them by hand,
More informationFormal Logic. Critical Thinking
ormal Logic Critical hinking Recap: ormal Logic If I win the lottery, then I am poor. I win the lottery. Hence, I am poor. his argument has the following abstract structure or form: If P then Q. P. Hence,
More informationIntermediate Logic. Natural Deduction for TFL
Intermediate Logic Lecture Two Natural Deduction for TFL Rob Trueman rob.trueman@york.ac.uk University of York The Trouble with Truth Tables Natural Deduction for TFL The Trouble with Truth Tables The
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationCOMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof
More informationManual of Logical Style (fresh version 2018)
Manual of Logical Style (fresh version 2018) Randall Holmes 9/5/2018 1 Introduction This is a fresh version of a document I have been working on with my classes at various levels for years. The idea that
More informationn logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional
More informationMath 3336: Discrete Mathematics Practice Problems for Exam I
Math 3336: Discrete Mathematics Practice Problems for Exam I The upcoming exam on Tuesday, February 26, will cover the material in Chapter 1 and Chapter 2*. You will be provided with a sheet containing
More information6.1 Logic. Statements or Propositions. Negation. The negation of a statement, p, is not p and is denoted by p Truth table: p p
6.1 Logic Logic is not only the foundation of mathematics, but also is important in numerous fields including law, medicine, and science. Although the study of logic originated in antiquity, it was rebuilt
More informationCOMP Intro to Logic for Computer Scientists. Lecture 6
COMP 1002 Intro to Logic for Computer Scientists Lecture 6 B 5 2 J Treasure hunt In the back of an old cupboard you discover a note signed by a pirate famous for his bizarre sense of humour and love of
More informationCS 2740 Knowledge Representation. Lecture 4. Propositional logic. CS 2740 Knowledge Representation. Administration
Lecture 4 Propositional logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square dministration Homework assignment 1 is out Due next week on Wednesday, September 17 Problems: LISP programming a PL
More information2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?
Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truth-preserving system of inference Truth-preserving: If the initial statements are true, the inferred statements will be true
More informationLogic and Propositional Calculus
CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know
More information3 The Semantics of the Propositional Calculus
3 The Semantics of the Propositional Calculus 1. Interpretations Formulas of the propositional calculus express statement forms. In chapter two, we gave informal descriptions of the meanings of the logical
More informationA. Propositional Logic
CmSc 175 Discrete Mathematics A. Propositional Logic 1. Statements (Propositions ): Statements are sentences that claim certain things. Can be either true or false, but not both. Propositional logic deals
More informationChapter 3. The Logic of Quantified Statements
Chapter 3. The Logic of Quantified Statements 3.1. Predicates and Quantified Statements I Predicate in grammar Predicate refers to the part of a sentence that gives information about the subject. Example:
More informationExample. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives
Logic Logic is study of abstract reasoning, specifically, concerned with whether reasoning is correct. Logic focuses on relationship among statements as opposed to the content of any particular statement.
More informationPropositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
More informationLOGIC. Name: Teacher: Pd: Page 1
LOGIC Name: Teacher: Pd: Page 1 Table of Contents Day 1 Introduction to Logic HW pages 8-10 Day 2 - Conjunction, Disjunction, Conditionals, and Biconditionals HW pages 16-17 #13-34 all, #35 65(every other
More informationTest 1 Solutions(COT3100) (1) Prove that the following Absorption Law is correct. I.e, prove this is a tautology:
Test 1 Solutions(COT3100) Sitharam (1) Prove that the following Absorption Law is correct. I.e, prove this is a tautology: ( q (p q) (r p)) r Solution. This is Modus Tollens applied twice, with transitivity
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationLecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)
Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or
More informationLogic and Propositional Calculus
CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know
More informationLogic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007
COT3100: Propositional Equivalences 1 Logic and Proofs Jan 2007 COT3100: Propositional Equivalences 2 1 Translating from Natural Languages EXAMPLE. Translate the following sentence into a logical expression:
More informationARTIFICIAL INTELLIGENCE
ARTIFICIAL INTELLIGENCE LECTURE # 03 Artificial Intelligence 2012 Lecture 03 Delivered By Zahid Iqbal 1 Review of Last Lecture Artificial Intelligence 2012 Lecture 03 Delivered By Zahid Iqbal 2 Today s
More informationArtificial Intelligence: Knowledge Representation and Reasoning Week 2 Assessment 1 - Answers
Artificial Intelligence: Knowledge Representation and Reasoning Week 2 Assessment 1 - Answers 1. When is an inference rule {a1, a2,.., an} c sound? (b) a. When ((a1 a2 an) c) is a tautology b. When ((a1
More informationExamples: P: it is not the case that P. P Q: P or Q P Q: P implies Q (if P then Q) Typical formula:
Logic: The Big Picture Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and
More informationChapter 1: Formal Logic
Chapter 1: Formal Logic Dr. Fang (Daisy) Tang ftang@cpp.edu www.cpp.edu/~ftang/ CS 130 Discrete Structures Logic: The Foundation of Reasoning Definition: the foundation for the organized, careful method
More informationPHIL12A Section answers, 16 February 2011
PHIL12A Section answers, 16 February 2011 Julian Jonker 1 How much do you know? 1. Show that the following sentences are equivalent. (a) (Ex 4.16) A B A and A B A B (A B) A A B T T T T T T T T T T T F
More information~ p is always false. Based on the basic truth table for disjunction, if q is true then p ~
MAT 101 Solutions Exam 2 (Logic, Part I) Multiple-Choice Questions 1. D Because this sentence contains exactly ten words, it is stating that it is false. But if it is taken to be false, then it has to
More informationTools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications:
Tools for reasoning: Logic Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: 1 Why study propositional logic? A formal mathematical language for precise
More informationOverview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR
COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural
More informationDISCRETE MATH: FINAL REVIEW
DISCRETE MATH: FINAL REVIEW DR. DANIEL FREEMAN 1) a. Does 3 = {3}? b. Is 3 {3}? c. Is 3 {3}? c. Is {3} {3}? c. Is {3} {3}? d. Does {3} = {3, 3, 3, 3}? e. Is {x Z x > 0} {x R x > 0}? 1. Chapter 1 review
More informationReview The Conditional Logical symbols Argument forms. Logic 5: Material Implication and Argument Forms Jan. 28, 2014
Logic 5: Material Implication and Argument Forms Jan. 28, 2014 Overview I Review The Conditional Conditional statements Material implication Logical symbols Argument forms Disjunctive syllogism Disjunctive
More information