The things in the set are called either members or elements. All the members of a set are members of a universal set (or for short: the Universe)

Size: px
Start display at page:

Download "The things in the set are called either members or elements. All the members of a set are members of a universal set (or for short: the Universe)"

Transcription

1 9/4 Monday, September 1, :45 PM Quiz what was the last sentence I Tweeted to #shermat101 A set is a collection of things The things in the set are called either members or elements All the members of a set are members of a universal set (or for short: the Universe) The cardinality of a set is how many members it has The cardinality of A = A Report 1 due 9/23 HW U={a,b,c,d,e,f,g,h,I,j,k,lm,n,o,p,q,r,s,t,u,v,w,x,y,z} = {"the alphabet"} mat101nb Page 1

2 Report 1 due 9/23 HW Read 5.1 Pg U={a,b,c,d,e,f,g,h,I,j,k,lm,n,o,p,q,r,s,t,u,v,w,x,y,z} = {"the alphabet"} V={"the vowels"}={a,e,i,o,u} mat101nb Page 2

3 mat101nb Page 3 9/9 Tuesday, September 09, :48 PM Pg 267 {George Washington, John Adams} {4,5,7,6,9,8} {january,march,april,february,november,december,september,october} {dog,god,cod,cog} { New York,New Jersey, New Hampshire} {} = means exactly the same members A=B All the members of A are in B and all the members of B are in A Every element of A is in B 1. Set: Males Universe: Facebook stff Why: facebook has a smaller percentage of males than google HW: pg 268 Prob 32-41

4 mat101nb Page 4 9/11 Thursday, September 11, :31 PM quiz pg 268 prob 32,34,36,38,40 True or false 3pts Why its true or false 7pts From < F 7 is in A but not in B T every member of B is in A F 9 is in D but not a member of A F 6 is in A but not in C 1 is in B T F because the only member of D are 1 and 3 and 7 and 9 T Null set is a subset of everything F no Power set. Is the set of all subsets

5 mat101nb Page 5 U = {a,b,c,d,e} A={a,b} B={a,b,c} A) Contains all the subsets of A B) { HW Pg 268 prob Read 5.2 U = {a,b,c,d,e} A={a,b} B={a,b,c} C={b,c,d} Complement Everything in the universe that is not in A

6 mat101nb Page 6 Intersection To be a member of And also a member of C you must be a member of A PCIUD set theory PEMDAS

7 mat101nb Page 7 9/16 Tuesday, September 16, :41 PM Pg 268 prob 42, = 16=2*2*2*2 2*2*2*2*2*2-1=63 P C I U D () ' U={a,b,c,d,e,f,g} X={a,b,c,d} Y={b,d,f,g} Z={a,b,e,f} Y'={a,c,e}

8 mat101nb Page 8 Z'={c,d,g} X-Y Everything in X that is not in Y X-Y={a,c} Z={a,b,e,f}

9 mat101nb Page 9 PCIUD D'={1,5,6,7} HW pg 277 prob Read 5.3

10 mat101nb Page 10 9/18 Thursday, September 18, :34 PM quiz pg 277 prob 34 show work From < PCIUD 27. D'={1,4,5,6,7,10} D'-B = {1,4,5,6} 31. B' ={ 1,2,3,4,5,6,9} 32. C' ={1,2,4,6,8,9,10} D-C'={3} A'={2,5,6,8,9} B-A'={7,10}

11 mat101nb Page 11 Venn Diagrams U={a,b,c,d,e,f,g,h} X={a,b,c,d} Y={b,d,f,g} Z={a,b,e,f}

12 mat101nb Page 12 U={a,b,c,d,e} F={a,b} G={c,d} H = {a,b,e} Pg 285 ex 1. Ex 2. If two sets don't intersect they are disjoint D and E are disjoint D is a subset of C HW

13 Pg 287 prob read 5.3 mat101nb Page 13

14 mat101nb Page 14 9/23 Tuesday, September 23, :05 PM Unions and Intersections Report 2sets from the same universe Set1: Set2: Universe: Union (or Intersection) Why: Set1: Republican Congressman Set2: Democratic Congressman Universe: Comgressman Union Why: They all voted to bomb Syria Set1: Black Politicians Set2: Presidents of the US Intersection Universe: Politicians Why: Barak Obama requested authorization to bomb Syria Newspapers dated on or after 9/24/2014

15 mat101nb Page 15 41) 42) X=I,II Y=II,III X-Y=I

16 HW pg 288 prob mat101nb Page 16

17 mat101nb Page 17 9/30 Tuesday, September 30, :45 PM Newspaper report 2 Pg 13: Paris Milan Set1: Japan's trailblazers Set2: Western designers Universe: People (fashion people) Union Why: western designers are designing cool clothes based on japanese trailblazer Better Vision Set1: world's poor Set2: people who need corrective lenses Intersection Universe: people Why: efforts are under way to find a means of distributing inexpensive glasses Pg 17 Even for Cashiers Set1: European intelectuals Set2: students Union Universe: People Why: Intellectuals say not all students need high school. Set1: Cashiers Set2: College Students

18 mat101nb Page 18 Intersection Universe People Why: Cashiers who graduate make more money pg 288 prob 56, From < A = I,II A' = III,IV B= II,III B'=I,IV

19 mat101nb Page 19 Prob 63 A=I,II,III,IV B=I,II,V,VI Prob 67 A=I,II,III,IV B=I,II,V,VI C=I,III,V,VII 69 A=I,II,III,IV

20 mat101nb Page 20 C=I,III,V,VII B=I,II,V,VI HW pg 289 prob read 5.4

21 mat101nb Page 21 10/2 Thursday, October 02, :35 PM quiz pg 289 prob 68 From < A=I,II,III,IV A' = V,VI,VII,VIII B= I,II,V,VI B'=III,IV,VII,VIII A'-B'= V,VI (A'-B')'=I,II,III,IV,VII,VIII

22 mat101nb Page 22 C=V,I,III,VII 68. A=I,II,III,IV C=V,I,III,VI A-C=IV,II B'=III,IV,VII,VIII There were 100 people in a ballroom. 30 of them were dancing How many were not dancing. U = I( )+II( ) = 100 D = I( ) = 30 D' = II( )=70

23 mat101nb Page 23 25= U =I( 10 )+II( 3 )+III( 4 )+IV( 8 ) III(4) C =I(10)+II(3)=13 S = II(3)+III(4)=7 60= U =I(5 )+II( 8 )+III( 2 )+IV( 10 )+V( 7 )+VI( 13 )+VII( 5 )+VIII( 10 ) 30= R =I( 5 )+II( 8 )+IV( 10 )+V( 7 ) 30= P =II( 8 )+III( 2 )+V( 7 )+VI( 13 ) 35= G =IV( 10 )+V( 7 )+VI( 13 )+VII( 5 ) a. I(5) b. VIII(10) c. Irish but not German = R-G =I(5)+II(8)=13 HW pg prob 8-11

24 10/7 Tuesday, October 07, :41 PM quiz Of the 1000 in a school, 450 in mathematics, 300 in history and 75 in both. How many in neither? Show all work. From < 1000= U =I( 375 )+II( 75 )+III( 225 )+IV( 325 ) 450= M =I( 375 )+II( 75 ) 300= H =II( 75 )+III( 225 ) = = = 1,000 IV(325) How many are in history or math? How many are in history or not in math? mat101nb Page 24

25 19= G =I( 2 )+II( 3 )+IV( 2 )+V( 12 ) 19= S =II( 3 )+III( 0 )+V( 12 )+VI( 4 ) 20= B =IV( 2 )+V( 12 )+VI( 4 )+VII( 2 ) 15= 14= 16= a) III(0) b) II(3) c) d) G HW Read 5.5 mat101nb Page 25

26 Mat101 review exam 1 Tuesday, October 07, :12 PM A'={g,h,k,m,x,z} 2. F=I,II,IV,V H=IV,V,VI,VII H'=I,II,III,VIII a bcy f g h z k m x P G 30= U =I( )+II( )+III( )+IV( ) 10= P =I( )+II( ) 18= G =II( )+III( ) 22= so III=12 30= U =I( 4 )+II( 6 )+III( 12 )+IV( 8 ) 10= P =I( 4 )+II( 6 ) 18= G =II( 6 )+III( 12 ) 22= mat101nb Page 26

27 10/14 Tuesday, October 14, :48 PM E I II III IV V VI VII S M VIII 100= U =I( 25 )+II( 5 )+III( 34 )+IV( 8 )+V( 2 )+VI( 9 ) +VII( 6 )+VIII( 11 ) 50= M =II( 5 )+III( 34 )+V( 2 )+VI( 9 ) 25= S =IV( 8 )+V( 2 )+VI( 9 )+VII( 6 ) 40= E =I( 25 )+II( 5 )+IV( 8 )+V( 2 ) 11= 7= a) VII(6) b) VIII(11) mat101nb Page 27

28 Math or English? I(25)+II(5)+III(34)+IV(8)+V(2)+VI(9)=83 Don't need help with Social Studies= S' =I(25)+II(5)+III(34)+VIII(11)=75 Proportion S / U Proportion of students who don't need help with Social Studies? 75/100=0.75 =3/4 Proportion of students who need help in both english and SS? mat101nb Page 28

29 mat101nb Page 29 10/21 Tuesday, October 21, :45 PM M S I II III IV V VI VII C VIII 75= U =I( 5 )+II( 26 )+III( 0 )+IV( 28 )+V( 2 )+VI( 1 )+VII( 13 )+VIII( 0 ) 29= S =II( 26 )+III( 0 )+V( 2 )+VI( 1 ) 44= C =IV( 28 )+V( 2 )+VI( 1 )+VII( 13 ) 30= 28= 3= a) I(5) b) 75-29=46

30 60 at a party 40 males 30 smelled 25 of males smelled Proportion of males 40/60 = =2/3 P(M) Proportion of smelled 30/60 = 0.5 =1/2 P(S) Proportion of males that smelled 25/40 = P(S M) - conditional proportion Since Smelled and male are not independent/ mat101nb Page 30

31 mat101nb Page 31 10/23 Thursday, October 23, :44 PM Proportions report Pg 28 of handout Gender Google 1. Universe: Global google staff Set: males Proportion: 70% Why: to show that google could be much more diverse Pg 26 When teen 2. Universe: teen drivers listening to their preferred music. Proportion 98% Set: teens who demonstrated an average of 3 deficient driving behaviors Why: to show how music can distract teen drivers Pg 11 Cussin' Hollerin' We probably 3. Universe: customers Set: customers for Obama Proportion 1/1000 Why: to show how unpopular Obama was among deep south bikers Quiz 6 patients 4 fevers 3 rashes 1 neither. Rashes

32 mat101nb Page 32 proportion? Proportion of fever with rashes? Indpendent? From < &searchselect=_22167_1&context=course&course_id=_22167_1&internalhandle=cp_announcements&announcementid=_ 52573_1> Proportion rashes 3/6 = 0.5 F I II III IV R U I( )+II( )+III( )+IV( 1 ) =6 I( )+II( )=4 II( )+III( )=3 Proportion of fever with rashes P(R F) = Since P(R)=P(R F) then rashes are independent of fevers

33 mat101nb Page 33 U A I II III B IV A=I,II B=II,III B'=I,IV

34 mat101nb Page 34 10/28 Tuesday, October 28, :38 PM quiz pg 310 prob 16 show both sides of the equality are the same regions of the venn diagram From < A=I,II,III,IV B=I,II,V,VI A'=V,VI,VII,VIII B'=III,IV,VII,VIII

35 mat101nb Page 35 Pg 307 Rules 1 and 6-10 simplify Rules 2-5 and 11 rearrange Given L8 A=X Statement Reason X-X Given L11 A=X B=X L8 A=X Pg 309

36 mat101nb Page 36 L11 A=A B= L5 A=B' B =A L1 A=B L4 A=A B=B C=A' L8 A=A L10 A=A HW pg 310 prob 20-22

37 10/30 Thursday, October 30, :31 PM quiz pg 310 prob 20 as shown in class today From < L11 A is P B is R L5 A is P B is R' L1 A is R L3 A is P' B is R C is R' L8 A is R L10 A is P' L5 A is P B is S' L1 A is S L4 A is S' B is P' C is S L8 A is S L10 A is L11 A is S' Bis P 23. Statement A' Reason Given L8 A is B L10 A is A' We are done when no repeated letters mat101nb Page 37

38 no double complements U or 25. Statement Reason Given L4 A is A B is A' C is C L8 A is A L2 A is L10 A is HW pg 310 prob mat101nb Page 38

39 11/4 Tuesday, November 04, :43 PM a. b. c. d. e. f. g. h. i. L10 A is C L10 A is A' L11 A is C B is A' L1 A is A L5 A is C B is A L2 B is C A is L4 A is C B is C' C is A' L8 A is C L10 A is L11 A is C B is A 27. Statement Reason Given L5 A is B' B is A' L1 A is A L4 A is B' B is B'' C is A L8 A is B' L2 A is L10 A is mat101nb Page 39

40 mat101nb Page 40 11/6 Thursday, November 06, :35 PM Pg 311 prob 28 Statement Prob 29 Statement C' Reason Given L3 A is G B is G' C is H' L8 A is G L2 A is L10 A is H' Reason Given L5 A is C B is D L4 A is C' B is D C is D' L8 A is D L10 A is C' Prob 31 Statement Reason Given L11 A is P B is R L5 A is P B is R' L1 A is R

41 mat101nb Page 41 L4 A is P B is P' C is R L8 A is P L2 A is B is L10 A is Pg 317 a. Statement Reason Given L11 A is A B is B L11 A is A B is C' L4 A is A B is B' C is C'' L5 A is B' B is C'' L11 A is A B is

42 mat101nb Page 42 11/13 Mat101 review exam 2 Sunday, November 9, :20 PM

43 mat101nb Page 43 X=I,II Y=II,III Y-X=III X'=III,IV B II III S I IV V VI VII VIII R U Given L11 L11 L5 L1 L2 L6 A is M B is R A is A is M B is R' A is R A is M' B is A is M' B is R

44 mat101nb Page =I( 45 )+II( 18 )+III( 5 )+IV( 4 )+V( 3 )+VI(1 )+VII( 1 )+VIII( ) 70=I( 45 )+II( 18 )+IV(4 )+ V( 3 ) 27=II( 18 )+III(5 )+V( 3 )+VI( 1 ) 9=IV(4 )+V( 3 )+VI( 1 )+VII( 1 ) 6=III( 5 )+VI(1 ) 9=III( )+V( 3) +VI(1 ) P(B)= 70/90 = P(B S) = P(B R)= 21/27= a) independent 7/9= b) independent P(R)= 9/90 = 0.1 P(R S) = 4/27 = Statement Reason Given L11 A is Y B is X L2 A is Y B is X' L3 A is X' B is Y C is Y L7 A is Y L2 A is X' B is Y

45 mat101nb Page 45 11/20 Thursday, November 20, :57 PM p="delano Morgan will be president" q ="Logical statements require verbs" Logical connectives ~ Not (Negation) P N A O C B () ~ ~p "It is not true that Delano Morgan will be president" p ~p T F F T And (Conjunction) p ~p q T F T T F F F T T F T T T F F F F T F T F F F T Or (Disjunction) p ~p q

46 mat101nb Page 46 T F T T F F T T T T T F F T F F T F F F Implies (Implication) p ~p q T F T T T F T T T F T F F F T F T F T T Equivalent (Biconditional) p ~p q T F T T F T T F T F F F F T F T HW Pg 8 prob 22-40

47 11/24 Monday, November 24, :33 PM b Tf statement Tf statement c Conjunction Conditional Conditional, conjunction Conjunction e Conditional Negation Biconditional Negation Logic newspaper report (4) Conjuctions, Disjunctions, Conditionals Statement1: Statement2: Type: (conjuction,disjuction, conditional) Why: mat101nb Page 47

48 Conjunction words: and but also aswell Conditional words: if because? Disjunction words: or Disjunctions are about choice q ~q p T F T F F T T T T F F F F T F F HW Not a tautology mat101nb Page 48

49 1125 Tuesday, November 25, :45 PM Logic newspaper report Pg 28 2nd column "As for facebook's diversity " 1. Statement1: a report would come out soon Statement2: she didn't disclose what day it would be announced Type: Conjunction Why: to show the difficulty facebook has in addressing their diversity issues Pg "I remember" Statement1: I remember coming into the city Statement2: We were lost Type: conjunction Why: To explain why a situation was frightening 3. Pg 16 2nd column "Until recently " Statement1: institutions and academic centers have concentrated on making scans Statement2: They were collaborating with one another on themed projects. Type: Disjunction Why: to show how american institutions approach digital scanning % last column Statement1: our recommendations system is down Statement2: we degrade the quality of our responses Type: Conditional Why: to show how gmail responds to unreliability Quiz Pg 30 prob 12 PNAOCB P Q mat101nb Page 49

50 T T T T T F T F T T T F F T T F F F F T P ~p Q ~q T F T F F F T F T T F T T F T F F T T F T F T F T T F T Q R P T T T T T T T T F T T T T F T T T F T T T T T T F F F T F F F T T T T F F F T F F T T F F F T T F T F F F F F F F F F F F HW pg 38 prob mat101nb Page 50

51 mat101nb Page 51 12/2 Wednesday, November 26, :09 PM Quiz Which of a or b or c can be? (More than 1 or none of these may work in the truth table) Logical arguments If I don't eat I will be hungry If I am hungry then I snarl at people I did not snarl at people Therefore I ate An argument is valid if always when the premises are true the conclusion is true

52 mat101nb Page 52 g ~g c T F F T T F T F T F T F p q r ~r q v ~r T T T T F T F T T T F T T F F F F T T F F T T T F T T F T T F T T F F T F T T HW Read 2.1 Pg prob Counter example chart p q r T T T F T T

53 12/9 Tuesday, December 09, :37 PM Symbolize this argument: Either it is sunny or it is not raining. If its not a nice day, then it is cloudy and not sunny. It is not a nice day. Therefore it is raining or snowing. > It s a nice day = n It is sunny = s It is raining = r It is cloudy = c It is snowing = w n ~n s ~s c r ~r w T F F T T F T F F F T F T T T T T F F F T T F F F F F T F T F F F F T F T T T T F T T T T F T F T T T T F T T F F n s c r w F F T F F counterexample Pg 139 mat101nb Page 53

54 There is a south wind = s There will be rain = r There is an increase in barometric pressure =b s r ~r b ~b T T F F F T F T T T F T T F T T F T F mat101nb Page 54

55 12/11 Review Exam 3 Tuesday, December 09, :01 PM m ~m g z T F T F F T T T T T T T F F F F T F F F T T T F F F d ~d s ~( T F T T T F F F T T T F T T T F F F F T T F T F T F T T I bring my notes to the exam = n I remember everything = e I got a's = a exam Not on exam: a ~a e n T F F T T F mat101nb Page 55

56 T F F T T F F T F T T T F T F T F F mat101nb Page 56

1) The set of the days of the week A) {Saturday, Sunday} B) {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Sunday}

1) The set of the days of the week A) {Saturday, Sunday} B) {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Sunday} Review for Exam 1 Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. List the elements in the set. 1) The set of the days of the week 1) A) {Saturday,

More information

Compound Propositions

Compound 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 information

1) A = {19, 20, 21, 22, 23} B = {18, 19, 20, 21, 22} 2) 2) 3) 3) A) {q, r, t, y, z} B) {r, s, t, y, z} C) {r, t, z} D) {q, s, u, v, x, y} 4) 4) 6) 6)

1) A = {19, 20, 21, 22, 23} B = {18, 19, 20, 21, 22} 2) 2) 3) 3) A) {q, r, t, y, z} B) {r, s, t, y, z} C) {r, t, z} D) {q, s, u, v, x, y} 4) 4) 6) 6) Exam 1B Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Are the sets equivalent? 1) A = {19, 20, 21, 22, 23} 1) B = {18, 19, 20, 21, 22} A) Yes

More information

Intro to Logic and Proofs

Intro to Logic and Proofs Intro to Logic and Proofs Propositions A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Examples: It is raining today. Washington

More information

CSC Discrete Math I, Spring Propositional Logic

CSC 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 information

Today s Lecture 2/9/10. Symbolizations continued Chapter 7.2: Truth conditions for our logical operators

Today s Lecture 2/9/10. Symbolizations continued Chapter 7.2: Truth conditions for our logical operators Today s Lecture 2/9/10 Symbolizations continued Chapter 7.2: Truth conditions for our logical operators Announcements Exam #1 next Tuesday (Feb 16th)! HW: Study for exam The text book is on Library Reserve

More information

2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?

2/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 information

Lecture 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) 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 information

Logic. Def. A Proposition is a statement that is either true or false.

Logic. Def. A Proposition is a statement that is either true or false. Logic Logic 1 Def. A Proposition is a statement that is either true or false. Examples: Which of the following are propositions? Statement Proposition (yes or no) If yes, then determine if it is true or

More information

Section 3.1 Statements, Negations, and Quantified Statements

Section 3.1 Statements, Negations, and Quantified Statements Section 3.1 Statements, Negations, and Quantified Statements Objectives 1. Identify English sentences that are statements. 2. Express statements using symbols. 3. Form the negation of a statement 4. Express

More information

Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.

Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic. Propositional Logic Winter 2012 Propositional Logic: Section 1.1 Proposition A proposition is a declarative sentence that is either true or false. Which ones of the following sentences are propositions?

More information

~ p is always false. Based on the basic truth table for disjunction, if q is true then p ~

~ 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 information

THE LOGIC OF COMPOUND STATEMENTS

THE 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 information

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus

More information

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives

Example. 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 information

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference

More information

2. Find all combinations of truth values for p, q and r for which the statement p (q (p r)) is true.

2. Find all combinations of truth values for p, q and r for which the statement p (q (p r)) is true. 1 Logic Questions 1. Suppose that the statement p q is false. Find all combinations of truth values of r and s for which ( q r) ( p s) is true. 2. Find all combinations of truth values for p, q and r for

More information

Write the negation of each of the following propositions without using any form of the word not :

Write the negation of each of the following propositions without using any form of the word not : Write the negation of each of the following propositions without using any form of the word not : Today is Thursday Today is Monday or Tuesday or Wednesday or Friday or Saturday or Sunday 2 + 1 = 3 2+1

More information

MTH202 Discrete Mathematics

MTH202 Discrete Mathematics LATSEST MCQS FROM MIDTERM PAPERS 10 MAY 011 MC10040185 moaaz.pk@gmail.com Moaaz siddiq MTH0 Discrete Mathematics Question No. 1: If p= It is raining q = She will go to college "It is raining and she will

More information

10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference

10/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 information

PSU MATH RELAYS LOGIC & SET THEORY 2017

PSU MATH RELAYS LOGIC & SET THEORY 2017 PSU MATH RELAYS LOGIC & SET THEORY 2017 MULTIPLE CHOICE. There are 40 questions. Select the letter of the most appropriate answer and SHADE in the corresponding region of the answer sheet. If the correct

More information

With Question/Answer Animations. Chapter 2

With Question/Answer Animations. Chapter 2 With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of

More information

Note: The area of logic that deals with propositions is called the propositional calculus or propositional logic.

Note: The area of logic that deals with propositions is called the propositional calculus or propositional logic. Ch. 1.1 Logic Logic 1 Def. A Proposition is a statement that is either true or false. Example 1: Which of the following are propositions? Statement Proposition (yes or no) UHD is a University 1 + 3 = 0

More information

A spinner has a pointer which can land on one of three regions labelled 1, 2, and 3 respectively.

A spinner has a pointer which can land on one of three regions labelled 1, 2, and 3 respectively. Math For Liberal Arts Spring 2011 Final Exam. Practice Version Name A spinner has a pointer which can land on one of three regions labelled 1, 2, and 3 respectively. 1) Compute the expected value for the

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics Discrete mathematics is devoted to the study of discrete or distinct unconnected objects. Classical mathematics deals with functions on real numbers. Real numbers form a continuous

More information

Solutions to Homework I (1.1)

Solutions to Homework I (1.1) Solutions to Homework I (1.1) Problem 1 Determine whether each of these compound propositions is satisable. a) (p q) ( p q) ( p q) b) (p q) (p q) ( p q) ( p q) c) (p q) ( p q) (a) p q p q p q p q p q (p

More information

3.2: Compound Statements and Connective Notes

3.2: Compound Statements and Connective Notes 3.2: Compound Statements and Connective Notes 1. Express compound statements in symbolic form. _Simple_ statements convey one idea with no connecting words. _Compound_ statements combine two or more simple

More information

Unit 1 Logic Unit Math 114

Unit 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 information

1.1 Introduction to Sets

1.1 Introduction to Sets Math 166 Lecture Notes - S. Nite 8/29/2012 Page 1 of 5 1.1 Introduction to Sets Set Terminology and Notation A set is a well-defined collection of objects. The objects are called the elements and are usually

More information

TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods

TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods Here s some Vocabulary we will be talking about in this PowerPoint. Atomic Sentences: Statements which express one proposition Connectives: These are

More information

Section A (not in the text) Which of the following are statements? Explain. 3. The President of the United States in 2089 will be a woman.

Section A (not in the text) Which of the following are statements? Explain. 3. The President of the United States in 2089 will be a woman. Math 299 Homework Assignment, Chapter 2 Section 2.1 2.A (not in the text) Which of the following are statements? Explain. 1. Let x be a positive integer. Then x is rational. 2. Mathematics is fun. 3. The

More information

Unit 1 Logic Unit Math 114

Unit 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 information

Section 1.3. Let I be a set. When I is used in the following context,

Section 1.3. Let I be a set. When I is used in the following context, Section 1.3. Let I be a set. When I is used in the following context, {B i } i I, we call I the index set. The set {B i } i I is the family of sets of the form B i where i I. One could also use set builder

More information

MAT2345 Discrete Math

MAT2345 Discrete Math Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview

More information

Chapter 1 Logic Unit Math 114

Chapter 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 information

Discrete Basic Structure: Sets

Discrete Basic Structure: Sets KS091201 MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) Discrete Basic Structure: Sets Discrete Math Team 2 -- KS091201 MD W-07 Outline What is a set? Set properties Specifying a set Often used sets The universal

More information

Discrete Mathematical Structures: Theory and Applications

Discrete Mathematical Structures: Theory and Applications Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with

More information

Mathematical Reasoning (Part I) 1

Mathematical Reasoning (Part I) 1 c Oksana Shatalov, Spring 2017 1 Mathematical Reasoning (art I) 1 Statements DEFINITION 1. A statement is any declarative sentence 2 that is either true or false, but not both. A statement cannot be neither

More information

A set is an unordered collection of objects.

A set is an unordered collection of objects. Section 2.1 Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain

More information

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Preparing for the CS 173 (A) Fall 2018 Midterm 1 Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

A statement is a sentence that is definitely either true or false but not both.

A statement is a sentence that is definitely either true or false but not both. 5 Logic In this part of the course we consider logic. Logic is used in many places in computer science including digital circuit design, relational databases, automata theory and computability, and artificial

More information

Math 3336: Discrete Mathematics Practice Problems for Exam I

Math 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 information

n logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)

n 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 information

LOGIC. Name: Teacher: Pd: Page 1

LOGIC. 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 information

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall CSE 20 HW1 graded review form? HW2 released DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Translate sentences from English to propositional logic using appropriate

More information

Logic Overview, I. and T T T T F F F T F F F F

Logic 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 information

Logical Form 5 Famous Valid Forms. Today s Lecture 1/26/10

Logical 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 information

Chapter 3: Logic. Diana Pell. A statement is a declarative sentence that is either true or false, but not both.

Chapter 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 information

Welcome to CS103! Three Handouts Today: Course Overview Introduction to Set Theory The Limits of Computation

Welcome to CS103! Three Handouts Today: Course Overview Introduction to Set Theory The Limits of Computation Welcome to CS103! Three Handouts Today: Course Overview Introduction to Set Theory The Limits of Computation Course Staff Keith Schwarz (htiek@cs.stanford.edu) Rakesh Achanta (rakesha@stanford.edu) Kyle

More information

Today 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) 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 information

Read ahead and use your textbook to fill in the blanks. We will work the examples together.

Read ahead and use your textbook to fill in the blanks. We will work the examples together. Math 1312 Section 1.1 : Sets, Statements, and Reasoning Read ahead and use your textbook to fill in the blanks. We will work the examples together. A set is any. hese objects are called the of the set.

More information

Chapter 4, Logic using Propositional Calculus Handout

Chapter 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 information

Logic and Truth Tables

Logic and Truth Tables Logic and ruth ables What is a ruth able? A truth table is a tool that helps you analyze statements or arguments in order to verify whether or not they are logical, or true. here are five basic operations

More information

BANKING DAY SCHEDULE (SHORT DAY)

BANKING DAY SCHEDULE (SHORT DAY) MONDAY 2/26/18 BANKING DAY SCHEDULE (SHORT DAY) 1 2/26/18 OBJECTIVES cmpd = compound a. Be able to convert mol (cmpd) < > g (cmpd) mol (cmpd) < > particles (cmpd) b. Be able to figure out the molar mass

More information

We last time we began introducing equivalency laws.

We last time we began introducing equivalency laws. Monday, January 14 MAD2104 Discrete Math 1 Course website: www/mathfsuedu/~wooland/mad2104 Today we will continue in Course Notes Chapter 22 We last time we began introducing equivalency laws Today we

More information

Logic and Propositional Calculus

Logic 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 information

Logic and Truth Tables

Logic and Truth Tables Logic and Truth Tables What is a Truth Table? A truth table is a tool that helps you analyze statements or arguments in order to verify whether or not they are logical, or true. There are five basic operations

More information

The Nature of Mathematics 13th Edition, Smith Notes. Korey Nishimoto Math Department, Kapiolani Community College October

The Nature of Mathematics 13th Edition, Smith Notes. Korey Nishimoto Math Department, Kapiolani Community College October Mathematics 13th Edition, Smith Notes Korey Nishimoto Math Department, Kapiolani Community College October 9 2017 Expanded Introduction to Mathematical Reasoning Page 3 Contents Contents Nature of Logic....................................

More information

= A. Example 2. Let U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {4, 6, 7, 9, 10}, and B = {2, 6, 8, 9}. Draw the sets on a Venn diagram.

= A. Example 2. Let U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {4, 6, 7, 9, 10}, and B = {2, 6, 8, 9}. Draw the sets on a Venn diagram. MATH 109 Sets A mathematical set is a well-defined collection of objects A for which we can determine precisely whether or not any object belongs to A. Objects in a set are formally called elements of

More information

Definition 2. Conjunction of p and q

Definition 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 information

EECS 1028 M: Discrete Mathematics for Engineers

EECS 1028 M: Discrete Mathematics for Engineers EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 26 Why Study Logic?

More information

Chapter 1: The Logic of Compound Statements. January 7, 2008

Chapter 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 information

Probability- describes the pattern of chance outcomes

Probability- describes the pattern of chance outcomes Chapter 6 Probability the study of randomness Probability- describes the pattern of chance outcomes Chance behavior is unpredictable in the short run, but has a regular and predictable pattern in the long

More information

Math Assignment 2 Solutions - Spring Jaimos F Skriletz Provide definitions for the following:

Math Assignment 2 Solutions - Spring Jaimos F Skriletz Provide definitions for the following: Math 124 - Assignment 2 Solutions - Spring 2009 - Jaimos F Skriletz 1 1. Provide definitions for the following: (a) A statement is a declarative sentence that is either true or false, but not both at the

More information

Chapter Summary. Propositional Logic. Predicate Logic. Proofs. The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.

Chapter 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 information

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

2. 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 information

In this initial chapter, you will be introduced to, or more than likely be reminded of, a

In this initial chapter, you will be introduced to, or more than likely be reminded of, a 1 Sets In this initial chapter, you will be introduced to, or more than likely be reminded of, a fundamental idea that occurs throughout mathematics: sets. Indeed, a set is an object from which every mathematical

More information

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring c Dr Oksana Shatalov, Spring 2015 1 2. Sets 2.1&2.2: Sets and Subsets. Combining Sets. Set Terminology and Notation DEFINITIONS: Set is well-defined collection of objects. Elements are objects or members

More information

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship.

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship. LOGIC In mathematical and everyday English language, we frequently use logic to express our thoughts verbally and in writing. We also use logic in numerous other areas such as computer coding, probability,

More information

1.3 Propositional Equivalences

1.3 Propositional Equivalences 1 1.3 Propositional Equivalences The replacement of a statement with another statement with the same truth is an important step often used in Mathematical arguments. Due to this methods that produce propositions

More information

Math 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set.

Math 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set. Math 1312 Lesson 1: Sets, Statements, and Reasoning A set is any collection of objects. hese objects are called the elements of the set. A is a subset of B, if A is "contained" inside B, that is, all elements

More information

Introduction Propositional Logic

Introduction Propositional Logic Discrete Mathematics for CSE of KU Introduction Propositional Logic Instructor: Kangil Kim (CSE) E-mail: kikim01@konkuk.ac.kr Tel. : 02-450-3493 Room : New Milenium Bldg. 1103 Lab : New Engineering Bldg.

More information

Unit 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 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 information

MACM 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) 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 information

FOUNDATION OF COMPUTER SCIENCE ETCS-203

FOUNDATION OF COMPUTER SCIENCE ETCS-203 ETCS-203 TUTORIAL FILE Computer Science and Engineering Maharaja Agrasen Institute of Technology, PSP Area, Sector 22, Rohini, Delhi 110085 1 Fundamental of Computer Science (FCS) is the study of mathematical

More information

DISCRETE MATHEMATICS BA202

DISCRETE 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 information

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!! CSCE 222 Discrete Structures for Computing Review for Exam 1 Dr. Hyunyoung Lee 1 Topics Propositional Logic (Sections 1.1, 1.2 and 1.3) Predicate Logic (Sections 1.4 and 1.5) Rules of Inferences and Proofs

More information

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York

CS 250/251 Discrete Structures I and II Section 005 Fall/Winter Professor York CS 250/251 Discrete Structures I and II Section 005 Fall/Winter 2013-2014 Professor York Practice Quiz March 10, 2014 CALCULATORS ALLOWED, SHOW ALL YOUR WORK 1. Construct the power set of the set A = {1,2,3}

More information

Introduction Propositional Logic. Discrete Mathematics Andrei Bulatov

Introduction Propositional Logic. Discrete Mathematics Andrei Bulatov Introduction Propositional Logic Discrete Mathematics Andrei Bulatov Discrete Mathematics Propositional Logic 2-2 What is Logic? Computer science is a mere continuation of logic by other means Georg Gottlob

More information

Formal Geometry. Conditional Statements

Formal Geometry. Conditional Statements Formal Geometry Conditional Statements Objectives Can you analyze statements in if then form? Can you write the converse, inverse, and contrapositive of if then statements? Inductive Reasoning Inductive

More information

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.

Review CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2. CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection

More information

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

3/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 information

Chapter 1, Part I: Propositional Logic. With Question/Answer Animations

Chapter 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

MATHEMATICAL REASONING

MATHEMATICAL REASONING J-Mathematics MATHMATICAL RASONING 1. STATMNT : A sentence which is either true or false but cannot be both are called a statement. A sentence which is an exclamatory or a wish or an imperative or an interrogative

More information

DO NOT WRITE BELOW THIS LINE Total page 1: / 20 points. Total page 2: / 20 points

DO NOT WRITE BELOW THIS LINE Total page 1: / 20 points. Total page 2: / 20 points MATH M118: Finite Mathematics Sample Department Final Examination (The actual final examination will be identical to this sample in length, format, and difficulty.) Directions: Place your name and student

More information

Announcement. Homework 1

Announcement. Homework 1 Announcement I made a few small changes to the course calendar No class on Wed eb 27 th, watch the video lecture Quiz 8 will take place on Monday April 15 th We will submit assignments using Gradescope

More information

Boolean Logic. CS 231 Dianna Xu

Boolean Logic. CS 231 Dianna Xu Boolean Logic CS 231 Dianna Xu 1 Proposition/Statement A proposition is either true or false but not both The sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 2 Boolean variables

More information

Equivalence and Implication

Equivalence and Implication Equivalence and Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February 7 8, 2018 Alice E. Fischer Laws of Logic... 1/33 1 Logical Equivalence Contradictions and Tautologies 2 3 4 Necessary

More information

Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning

Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning Logical Structures in Natural Language: Propositional Logic II (Truth Tables and Reasoning Raffaella Bernardi Università degli Studi di Trento e-mail: bernardi@disi.unitn.it Contents 1 What we have said

More information

Review #1. 4) the set of odd natural numbers less than 19 A) {1, 3, 5,..., 17} B) {0, 1, 3, 5,..., 17} C) {2, 4, 6,..., 18} D) {1, 3, 5,...

Review #1. 4) the set of odd natural numbers less than 19 A) {1, 3, 5,..., 17} B) {0, 1, 3, 5,..., 17} C) {2, 4, 6,..., 18} D) {1, 3, 5,... Prestatistics Review #1 List the elements in the set. 1) The set of the days of the week A) {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Sunday} B) {Tuesday, Thursday} C) {Friday, Monday, Saturday,

More information

INTRODUCTION & PROPOSITIONAL LOGIC. Dougherty, POLS 8000

INTRODUCTION & PROPOSITIONAL LOGIC. Dougherty, POLS 8000 INTRODUCTION & PROPOSITIONAL LOGIC Dougherty, POLS 8000 Strategy in Politics Professor: Keith Dougherty Home Page: spia.uga.edu/faculty_pages/dougherk/ Office: Baldwin 408, (706)542-2989 e-mail: dougherk@uga.edu

More information

What is Logic? Introduction to Logic. Simple Statements. Which one is statement?

What 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 information

Announcements. CS311H: Discrete Mathematics. Propositional Logic II. Inverse of an Implication. Converse of a Implication

Announcements. CS311H: Discrete Mathematics. Propositional Logic II. Inverse of an Implication. Converse of a Implication Announcements CS311H: Discrete Mathematics Propositional Logic II Instructor: Işıl Dillig First homework assignment out today! Due in one week, i.e., before lecture next Wed 09/13 Remember: Due before

More information

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes!

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! Logic and Proof On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA 341 001 2 Requirements for Proof 1. Mutual understanding

More information

Lecture 02: Propositional Logic

Lecture 02: Propositional Logic Lecture 02: Propositional Logic CSCI 358 Discrete Mathematics, Spring 2016 Hua Wang, Ph.D. Department of Electrical Engineering and Computer Science January 19, 2015 Propositional logic Propositional logic

More information

The statement calculus and logic

The statement calculus and logic Chapter 2 Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t. That s logic. Lewis Carroll You will have encountered several languages

More information

Topics in Logic and Proofs

Topics in Logic and Proofs Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

SETS. Chapter Overview

SETS. Chapter Overview Chapter 1 SETS 1.1 Overview This chapter deals with the concept of a set, operations on sets.concept of sets will be useful in studying the relations and functions. 1.1.1 Set and their representations

More information