28

Logical Equivalence

  • Upload
    baxter

  • View
    115

  • Download
    1

Embed Size (px)

DESCRIPTION

Logical Equivalence. 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) - PowerPoint PPT Presentation

Citation preview

Page 1: Logical Equivalence
Page 2: Logical Equivalence

Logical Equivalence• 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 laws: p t = p, p c = p• Negation laws: p ~p = t, p ~p = c• Double negative law: ~(~p) = p• Idempotent laws: p p = p, p p = p• De Morgan’s laws: ~(p q) = ~p ~q, ~(p q) = ~p ~q• Universal bound laws: p t = t, p c = c• Absorption laws: p (p q) = p, p (p q) = p• Negation of t and c: ~t = c, ~c = t

Page 3: Logical Equivalence

DE MORGAN’S LAWS:

• The negation of an and statement is logically equivalent to the or statement in which each component is negated.

• Symbolically ~(p q) ≡ ~p ~q. ∧ ∨• The negation of an or statement is logically

equivalent to the and statement in which each component is negated.

• Symbolically: ~(p q) ≡ ~p ~q. ∨ ∧• ~(p q) ≡ ~p ~q∨ ∧

Page 4: Logical Equivalence

~(p q) = ~p ~q ∨ ∧

Page 5: Logical Equivalence

EXERCISE:

• (p q) r = p (q r) ∧ ∧ ∧ ∧• Are the statements (p q) r and p (q r) ∧ ∨ ∧ ∨

logically equivalent?

Page 6: Logical Equivalence

TAUTOLOGY:

• A tautology is a statement form that is always true regardless of the truth values of the statement variables.

• A tautology is represented by the symbol “T”..

• EXAMPLE: The statement form p ~ p is ∨tautology

Page 7: Logical Equivalence

CONTRADICTION:

• A contradiction is a statement form that is always false regardless of the truth values of the statement variables.

• A contradiction is represented by the symbol “c”.

• EXAMPLE: The statement form p ~ p is a ∧contradiction.

Page 8: Logical Equivalence

REMARKS:

• Most statements are neither tautologies nor contradictions.

• The negation of a tautology is a contradiction and vice versa.

• In common usage we sometimes say that two statements are contradictory.

• By this we mean that their conjunction is a contradiction: they cannot both be true.

Page 9: Logical Equivalence

LOGICAL EQUIVALENCE INVOLVING TAUTOLOGY / CONTYRADICTION

• Show that p t = p ∧ Show that p c = c ∧

Page 10: Logical Equivalence

Use truth table to show that (p q) (~p ∧ ∨(p ~q)) is a tautology∨ ∧

Page 11: Logical Equivalence

Use truth table to show that (p ~q) ∧(~p q) is a contradiction.∧ ∨

Page 12: Logical Equivalence

EXCLUSIVE OR:

• I shall buy a pen or a book. (Inclusive)• Tomorrow at 9, I’ll be in Lahore or Islamabad

Page 13: Logical Equivalence

APPLYING LAWS OF LOGIC

• Using law of logic, simplify the statement form p [~(~p q)] ∨ ∧

• Solution:• p [~(~p q)] = p [~(~p) (~q)] DeMorgan’s Law ∨ ∧ ∨ ∨• =p [p (~q)] ∨ ∨ Double Negative Law • = [p p] (~q) ∨ ∨ Associative Law for ∨

=p (~q) ∨ Indempotent Law

Page 14: Logical Equivalence

~ (~ p q) (p q) =p∧ ∧ ∨• ~(~p q) (p q) = (~(~p) ~q) (p q) ∧ ∧ ∨ ∨ ∧ ∨

DeMorgan’s Law• = (p ~q) (p q) ∨ ∧ ∨ Double Negative Law • = p (~q q) Distributive Law ∨ ∧• = p c Negation Law ∨• = p Identity Law

Page 15: Logical Equivalence

CONDITIONAL STATEMENTS:

• Consider the statement: "If you earn an A in Math, then I'll buy you a computer."

• This statement is made up of two simpler statements

• p: "You earn an A in Math," and q: "I will buy you a computer."

• The original statement is then saying: if p is true, then q is true, or, more simply, if p, then q.

• We can also phrase this as p implies q, and we write p → q.

Page 16: Logical Equivalence

CONDITIONAL STATEMENTS OR IMPLICATIONS:

• If p and q are statement variables, the conditional of q by p is “If p then q”

• or “p implies q” and is denoted p → q. • It is false when p is true and q is false; otherwise

it is true. • The arrow "→ " is the conditional operator, and

in p → q the statement p is called the hypothesis (or antecedent) and q is called the conclusion (or consequent).

Page 17: Logical Equivalence

CONDITIONAL STATEMENTS OR IMPLICATIONS:

Page 18: Logical Equivalence

PRACTICE WITH CONDITIONAL STATEMENTS:

• 1. “If 1 = 1, then 3 = 3.” TRUE • 2. “If 1 = 1, then 2 = 3.” FALSE • 3. “If 1 = 0, then 3 = 3.” TRUE • 4. “If 1 = 2, then 2 = 3.” TRUE • 5. “If 1 = 1, then 1 = 2 and 2 = 3.” FALSE • 6. “If 1 = 3 or 1 = 2 then 3 = 3.” TRUE

Page 19: Logical Equivalence

ALTERNATIVE WAYS OF EXPRESSING IMPLICATIONS:

• The implication p → q could be expressed in many alternative ways as:

• “if p then q” •“not p unless q”• “p implies q” •“q follows from p” • “if p, q” •“q if p” • “p only if q” •“q whenever p”• “p is sufficient for q” •“q is necessary for p”

Page 20: Logical Equivalence

ALTERNATIVE WAYS OF EXPRESSING IMPLICATIONS:

• That you get the job implies that you have the best credentials. – If you get the job, then you have the best

credentials• It is necessary to walk 8 miles to get to the

top of the Peak.– If you get to the top of the peak, then you must

have walked 8 miles.

Page 21: Logical Equivalence

HIERARCHY OF OPERATIONS FOR LOGICAL CONNECTIVES

• ~ (negation) • ∧ (conjunction), (disjunction)∨• → (conditional)

Page 22: Logical Equivalence

TRANSLATING ENGLISH SENTENCES TO SYMBOLS:

• Let p and q be propositions: • p = “you get an A on the final exam” • q = “you do every exercise in this book” • r = “you get an A in this class”• To get an A in this class it is necessary for you to get

an A on the final. p → r • You do every exercise in this book; You get an A on

the final, implies, you get an A in the class. • p q → r ∧

Page 23: Logical Equivalence

Construct a truth table for the statement form p ~ q → ~ p∨

Page 24: Logical Equivalence

LOGICAL EQUIVALENCE INVOLVING IMPLICATION

• Use truth table to show p→q = ~q → ~p

Page 25: Logical Equivalence

IMPLICATION LAW p→q = ~p q∨

Page 26: Logical Equivalence

NEGATION OF A CONDITIONAL STATEMENT:

• Since p→q = ~p q therefore ∨• ~ (p → q) = ~ (~ p q) = ~ (~ p) (~ q) by ∨ ∧

De Morgan’s law • = p ~ q by the Double Negative law ∧• Thus the negation of “if p then q” is logically

equivalent to “p and not q”. • Accordingly, the negation of an if-then

statement does not start with the word if.

Page 27: Logical Equivalence

EXAMPLES

• Write negations of each of the following statements:

• 1. If Ali lives in Pakistan then he lives in Lahore. • 2. If my car is in the repair shop, then I cannot

get to class. 3. • If x is prime then x is odd or x is 2. • 4. If n is divisible by 6, then n is divisible by 2

and n is divisible by 3.

Page 28: Logical Equivalence

SOLUTIONS:

• 1. Ali lives in Pakistan and he does not live in Lahore.

• 2. My car is in the repair shop and I can get to class.

• 3. x is prime but x is not odd and x is not 2. • 4. n is divisible by 6 but n is not divisible by 2

or by 3