Lecture 3(Friday) - set properties Quanti ers connect...

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: set properties Quanti ers connect properties of elements to properties of sets. The statement \Every employee earns less than 70,000" isn't a statement about a single, or even several, employees. It's about the entire set. Employee Gender Salary Al male 60,000 Betty female 500 Carlos male 40,000 Doug male 30,000 Ellen female 50,000 Flo female 20,000 How do you check whether the statement is true? What if 70,000 is replaced by 40,000? slide 12 universal claims How do you verify/disprove: All female employees earn less than 55,000. All employees earning less than 55,000 are female. All male employees earn less than 55,000. Employee Gender Salary Al male 60,000 Betty female 500 Carlos male 40,000 Doug male 30,000 Ellen female 50,000 Flo female 20,000 slide 13 existential claims Another sort of claim: \some employee earns less than 15,000" appears to be about an individual employee, and not about the entire set of employees. Other phrasings \there exists an employee who earns less than 15,000, " or \at least one employee earns less than 15,000"...
View Full Document

Page1 / 6

Lecture 3(Friday) - set properties Quanti ers connect...

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online