MATH 110 Sec 3-1 Lecture on Statements and Connectives STATEMENT: A declarative sentence that is...

Preview:

Citation preview

MATH 110 Sec 3-1 Lecture on Statements and Connectives STATEMENT: A declarative sentence that is either TRUE

or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

5 + 8 = 10

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

5 + 8 = 10The following are NOT statements

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

5 + 8 = 10The following are NOT statements

Hit the baseball

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

5 + 8 = 10The following are NOT statements

Hit the baseballAre you listening?

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

5 + 8 = 10The following are NOT statements

Hit the baseballAre you listening?

If I were a rich man

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

5 + 8 = 10The following are NOT statements

Hit the baseballAre you listening?

If I were a rich manThis sentence is false.

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Examples of statementsI ate spinach for lunch today.

5 + 8 = 10The following are NOT statements

Hit the baseballAre you listening?

If I were a rich manThis sentence is false.

(This last one is called a paradox because if we assume it is true, it has to be falseand if we assume that it is false, then it has to be true.)

STATEMENT: A declarative sentence that is either TRUE or FALSE (but not both at once).

MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS

are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.).

MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS

are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.).

Examples of COMPOUND statements

MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS

are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.).

Examples of COMPOUND statementsDickens wrote novels and the poem is short.

MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS

are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.).

Examples of COMPOUND statementsDickens wrote novels and the poem is short.You can pay me now or you can pay me later.

MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS

are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.).

Examples of COMPOUND statementsDickens wrote novels and the poem is short.You can pay me now or you can pay me later.

Today is not payday.

MATH 110 Sec 3-1 Lecture on Statements and Connectives COMPOUND STATEMENTS

are formed by 'combining' simple statements using various connectives ('and', 'or', 'not', 'if...then', etc.).

Examples of COMPOUND statementsDickens wrote novels and the poem is short.You can pay me now or you can pay me later.

Today is not payday.If today is Wednesday, then I have math class.

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.The negation of a statement always has the opposite truth value of the original statement.

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.

ExamplesThe negation of a statement always has the opposite truth value of the original statement.

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.

ExamplesStatement: "Earth is a planet.“

The negation of a statement always has the opposite truth value of the original statement.

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.

ExamplesStatement: "Earth is a planet.“

Negation: "Earth is not a planet."

The negation of a statement always has the opposite truth value of the original statement.

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.

ExamplesStatement: "Earth is a planet.“

Negation: "Earth is not a planet."Statement: "Today is not Tuesday."

The negation of a statement always has the opposite truth value of the original statement.

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.

ExamplesStatement: "Earth is a planet.“

Negation: "Earth is not a planet."Statement: "Today is not Tuesday."

Negation: "Today is Tuesday."

The negation of a statement always has the opposite truth value of the original statement.

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.

ExamplesStatement: "Earth is a planet.“

Negation: "Earth is not a planet."Statement: "Today is not Tuesday."

Negation: "Today is Tuesday."

The negation of a statement always has the opposite truth value of the original statement.

What is the negation of the statement: "x < 7 " ?

MATH 110 Sec 3-1 Lecture on Statements and Connectives The NEGATION of a statement is often formed using the word

'not‘.

ExamplesStatement: "Earth is a planet.“

Negation: "Earth is not a planet."Statement: "Today is not Tuesday."

Negation: "Today is Tuesday."

The negation of a statement always has the opposite truth value of the original statement.

What is the negation of the statement: "x < 7 " ?x > 7

MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives

Connective Symbol Name

and Conjunction

MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives

Connective Symbol Name

and Conjunction

MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives

Connective Symbol Name

and Conjunction

or

Disjunction

MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives

Connective Symbol Name

and Conjunction

or (inclusive)

Disjunction

MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives

Connective Symbol Name

and Conjunction

or (inclusive)

Disjunction

not Negation

MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives

Connective Symbol Name

and Conjunction

or (inclusive)

Disjunction

not NegationIf…then Implication

MATH 110 Sec 3-1 Lecture on Statements and Connectives Symbols for our connectives

Connective Symbol Name

and Conjunction

or (inclusive)

Disjunction

not NegationIf…then Implication

If and only if Biconditional

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

The car is blue or the dog is big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

The car is blue or the dog is big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

The car is blue or the dog is big.The car is blue and the dog is not big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

The car is blue or the dog is big.The car is blue and the dog is not big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

The car is blue or the dog is big.The car is blue and the dog is not big.

If the car is blue, then the dog is not big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

The car is blue or the dog is big.The car is blue and the dog is not big.

If the car is blue, then the dog is not big.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Let p represent "The car is blue." and let q represent "The dog is big."

SYMBOLICSTATEMENT STATEMENT IN ENGLISH

The car is blue and the dog is big.The car is not blue.

The car is blue or the dog is big.The car is blue and the dog is not big.

If the car is blue, then the dog is not big.The dog is not big if and only if the car is blue.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

All dogs bark.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

All dogs bark. None of the drivers was hurt.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

All dogs bark.Each student made an A.

None of the drivers was hurt.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

All dogs bark.Each student made an A. No joke was funny.

None of the drivers was hurt.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING)

All dogs bark.Each student made an A. No joke was funny.

None of the drivers was hurt.

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

Some kids are kind.

All dogs bark.Each student made an A. No joke was funny.

None of the drivers was hurt.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING)

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

Some kids are kind. At least one score was a touchdown.

All dogs bark.Each student made an A. No joke was funny.

None of the drivers was hurt.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING)

MATH 110 Sec 3-1 Lecture on Statements and Connectives Universal and Existential Quantifiers

Some kids are kind. At least one score was a touchdown.There exists a UA student who doesn’t like football.

All dogs bark.Each student made an A. No joke was funny.

None of the drivers was hurt.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.(asserts that the statement quantified is true for EVERY relevant thing)

‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers. (asserts that the statement quantified is true for AT LEAST ONE THING)

MATH 110 Sec 3-1 Lecture on Statements and Connectives ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.

‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

MATH 110 Sec 3-1 Lecture on Statements and Connectives ‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.

‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier.

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement

AND the negation of an Existential statement will be a Universal statement.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement

AND the negation of an Existential statement will be a Universal statement.

STATEMENT NEGATION

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement

AND the negation of an Existential statement will be a Universal statement.

STATEMENT NEGATION

All athletes are wealthy.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement

AND the negation of an Existential statement will be a Universal statement.

STATEMENT NEGATION

All athletes are wealthy. Some athletes are not wealthy.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement

AND the negation of an Existential statement will be a Universal statement.

STATEMENT NEGATION

All athletes are wealthy. Some athletes are not wealthy.Some students get loans.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

MATH 110 Sec 3-1 Lecture on Statements and Connectives

Sometimes we are asked to find the negation of a statement with a universal or an existential quantifier. Helpful Hint: The negation of a Universal statement will be an Existential statement

AND the negation of an Existential statement will be a Universal statement.

STATEMENT NEGATION

All athletes are wealthy. Some athletes are not wealthy.Some students get loans. No student gets a loan.

‘All’, ‘Each’, ‘Every’, ‘No’, ‘None’ are universal quantifiers.‘Some’, ‘There exists’, ‘At least one’ are existential quantifiers.

Recommended