Section 1.5 Implications. Implication Statements If Cara has a piano lesson, then it is Friday. If...

Section 1.5

Implications

Implication Statements

If Cara has a piano lesson, then it is Friday.

If it is raining, then I need to remember my umbrella.

If your MAT225 average is 95%, then you will receive an A in the course.

Definitions:

A statement of the form “if p is true, then q is true” is called an implication. We write pq.

In the statement “if p, then q,” we call p the hypothesis and q the conclusion.

p and q can indicate either propositions or predicates.

Mathematical statements

Which of the following mathematical statements seem to state “universal truths” about the positive integers?

1. If n is odd, then n2 – 1 is evenly divisible by 8.2. If n is evenly divisible by 3, then n2 + n is evenly

divisible by 4.3. If n ends in the digit “2”, then n is divisible by 2.4. If n ends in the digit “3”, then n is divisible by 3.5. If n or m is odd, then n + m is odd.6. If n or m is even, then n × m is even.

Truth of implicational statements

Using the false statements below as models, complete the sentence that follows in your own words.

If n is evenly divisible by 3, then n2 + n is evenly divisible by 4.

If n ends in the digit “3”, then n is divisible by 3. If n or m is odd, then n + m is odd.

To show that a predicate of the form P(x) Q(x) is false on the domain D, we must …

Truth of implicational statements

Using the true statements below as models, complete the sentence that follows in your own words.

If n is odd, then n2 – 1 is evenly divisible by 8. If n or m is even, then n × m is even. If n ends in the digit “2”, then n is divisible by 2.

A predicate of the form P(x) Q(x) is true for all elements of the domain D if …

Truth tables for if,then statements

Example. Here is the truth table for the statement, “p q”

p q p q

Making sense of the truth table for pqLet p := “your final average is at least

60%”Let q := “you pass MAT225”

If I make the statement pq, when am I a truthteller? When am I a liar?

Practice. Complete the truth table for the compound statement, “(¬q) (¬p)”

p q ¬q ¬p (¬q) (¬p)

T T F F

T F T F

F T F T

F F T T

Practice. Give the truth table for the compound statement, “(p (q p)) q”

p q q p p (q p) (p (q p)) q

Implication in English

The English construction “If property 1 holds, then property 2 holds” states a relationship between properties 1 and 2. In the investigation of this type of relationship, there is some standard terminology you should know:

The statements p q and q p are called converses of each other. It is possible but not unusual for only one statement in such a pair to be true.

The statements p q and (¬q) (¬p) are called contrapositives of each other. These statements are always logically equivalent.

The statements p q and (¬p) (¬q) are called inverses of each other. It is possible but not unusual for only one statement in such a pair to be true.

Examples

Form the converse, inverse, and contrapositive of each of the following statements:

1.If n ends in a “2”, then n is divisible by 2.

2.If n ends in a “3”, then n is divisible by 3.

3.If n ends in an even digit, then n is even.

Examples

If n ends in a “2”, then n is divisible by 2.

Converse: If n is divisible by 2, then n ends in a “2”.

Inverse: If n does not end in a “2”, then n is not divisible by 2.

Contrapostive: If n is not divisible by 2, then n does not end in a “2”.

Examples

If n ends in a “3”, then n is divisible by 3.

Converse: If n is divisible by 3, then n ends in a “3”.

Inverse: If n does not end in a “3”, then n is not divisible by 3.

Contrapostive: If n is not divisible by 3, then n does not end in a “3”.

Examples

If n ends in an even digit, then n is even.

Converse: If n is even, then n ends in an even digit.

Inverse: If n does not end in an even digit, then n is not even.

Contrapostive: If n is not even, then n does not end in an even digit.

Implication in predicate logic

The majority of mathematical statements can be written in the form

The negation of this statement is the formal statement

)()(, xQxPDx

Examples in English

If a student at Shippensburg majors in math, then that student takes Discrete Math.

1. Write this using formal predicate logic.

2. What is the negation of this sentence?

Before next time you should…

Make sure that you have carefully read Section 1.5 and completed the homework assignment.

Section 1.5 Implications. Implication Statements If Cara has a piano lesson, then it is Friday. If...

Documents

LaNGUaGe CONVeNTIONS - ACARA€¦ · “It is raining outside Bill,’’ said. It is raining outside, “Bill said.” “It is raining outside, Bill said. “It is raining outside,”

Parsing - Indian Institute of Technology Madrasrupesh/teaching/compiler/jul18/3-parsing.pdfif if = else then then = else else then = if + else if if = else then then = else else then

codes / guides :: guideguidesmedia.ign.com/guides/16273/harvestmoon_guide.pdfdog outside and feed him, then take the chickens out (unless it's raining) and collect the eggs. Then I

Unit 6 It’s raining! Unit 6 It’s raining!

1. Find the value of x. ANSWER 32 2. Write the converse of the following statement. If it is raining, then Josh needs an umbrella. ANSWER If Josh needs

If you can't fly, then run, If you can't run, then walk, If you can't walk

CSE 390a Lecture 6 - courses.cs.washington.edu€¦ · 3 if/else if [ test ]; then # basic if commands fi if [ test ]; then # if / else if / else commands1 elif [ test ]; then commands2

1 Chapter 4 Predicate Logics. 344-471 AI & ESChapter 4 2 Representing simple facts in logic It is raining. RAINING If it is raining then it is not

If is measured in radian Then: If is measured in radian Then: and: -

Conditional Statements For computer to make decisions, must be able to test CONDITIONS IF it is raining THEN I will not go outside IF Count is not zero

If it is raining, then the sidewalk is wet. Converse ... · Converse: Inverse: Contrapositive: What is the measure of angle a? a. February 13, 2019 7-4 Properties of Triangles I can

IF/THEN - EIU

Conditional branching (if-then-else statements)tuttle.merc.iastate.edu/ee285/topics/if_then_else.pdf · EE 285 If-then-else 1 Conditional branching (if-then-else statements) It’s

Using Predicate Logic Chapter 5. 2 Using Propositional Logic Representing simple facts It is raining RAINING It is sunny SUNNY It is windy WINDY If it

If p, then p!

raining windy cloudy snowing raining windy cloudysunny snowing

CSE 390a Lecture 6 · 2016-02-10 · 3 if/else if [ test ]; then # basic if commands fi if [ test ]; then # if / else if / else commands1 elif [ test ]; then commands2 else commands3

Its Raining

Sequential statements. If statement [if_label:] if boolean_expression then {sequential_statement} {elsif boolean_expression then {sequential_statement}}

If Geology, Then Calculus “If you understand Geology, then you understand Calculus”