Top Banner
DISCRETE MATHEMATICS ECE MATH 311 TOPIC 3: VALIDITY OF ARGUMENTS & LOGICAL EQUIVALENCE By: Edison A. Roxas, MSECE
18

03_ECE MATH 311_Validity of Arguments and Logical Equivalence

Jan 25, 2016

Download

Documents

Gennie Brul

asddasdas
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

DISCRETE MATHEMATICS ECE – MATH 311

TOPIC 3: VALIDITY OF ARGUMENTS & LOGICAL EQUIVALENCE

By: Edison A. Roxas, MSECE

Page 2: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

Validity of Arguments & Logical Equivalence 2

OBJECTIVES

At the end of the topic, the students should be able to:

1. Recall Boolean Algebra Postulates and Theorems.

2. Define and distinguish tautology from contradiction;

3. Examine the truth table and its implications to some premises;

4. Examine Logic Puzzle;

5. Determine if conclusion is valid for some premises;

6. Enumerate different logical equivalence; and

7. Establish and apply some of the logical equivalences.

earoxas @ UST 2013

Page 3: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

Table 3.1: Boolean Algebra

Validity of Arguments & Logical Equivalence 3

IDENTITY X + 0 = X X . 1 = X

COMPLEMENT X + X’ = 1 X . X’ = 0

IDEMPOTENT X + X = X X . X = X

DOMINATION X + 1 = 1 X . 0 = 0

INVOLUTION (X’)’ = X

COMMUTATIVE X + Y = Y + X XY = YX

ASSOCIATIVE X + (Y + Z) = (X + Y) + Z X(YZ) = (XY)Z

DISTRIBUTIVE X (Y + Z) = XY + XZ X + YZ = (X + Y) (X + Z)

DE MORGAN (X + Y)’ = X’Y’ (XY)’ = X’ + Y’

ABSORPTION X + XY = X X (X + Y) = X

earoxas @ UST 2013

Page 4: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

EXAMPLE 3.1:

Simplify using Boolean Algebra the examples in Example 1.5 and compare results.

a. F = xy + xy’

b. F = (x+y)(x+y’)

c. F = xyz + x’y + xyz’

earoxas @ UST 2013 Validity of Arguments & Logical Equivalence 4

Page 5: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

TAUTOLOGY & CONTRADICTION

It is an important class of compound propositions that consists of those that are always TRUE for all possible combinations of p and q (or p, q and r). This is called tautology.

A compound proposition that is always FALSE is called contradiction or absurdity.

A compound proposition p is a contradiction if and only if ~p is a tautology.

A compound proposition is a contingent if it is neither a tautology or contradiction.

Validity of Arguments & Logical Equivalence 5 earoxas @ UST 2013

Page 6: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

EXAMPLE 3.2: Determine whether the following are tautology

or contradiction.

1. p → p 2. ~ p ˅ p 3. ~[A → (~A →B)] 4. [p ˄ (p → q)] → q 5. (p ˄ ~q) ˄ (~p ˅ q) 6. (p → q) ↔ (~q → ~p) 7. [(p → q) ˄ p] → q 8. A → [ ~ A ↔ (A → B)]

Validity of Arguments & Logical Equivalence 6 earoxas @ UST 2013

Page 7: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

LOGIC PUZZLE

EXAMPLE 3.3:

Tony and his girlfriend Pepper was in a room together with the other members of the organization SHIELD. He was with Bruce; Natasha; and their leader Nick. Suddenly a momentary power interruptions was experienced; when the power was restored they found Nick murdered. An inquiry was held; and these are their statements:

earoxas @ UST 2013 Validity of Arguments & Logical Equivalence 7

Page 8: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

EXAMPLE 3.3 (cont’d):

Bruce: I am innocent ; Natasha was talking to Nick when the power was interrupted.

Natasha: I am innocent; I was not talking to Nick when the power was out.

Tony: I am innocent; Pepper committed the murder. Pepper: I am innocent; one of the men committed the

murder. Four of these eight statements are TRUE and four are

FALSE. Assuming only one person committed the murder, who did it?

earoxas @ UST 2013 Validity of Arguments & Logical Equivalence 8

Page 9: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

VALIDITY OF ARGUMENTS

Complicated statements are analyze using connectives and form a simpler statement.

This simpler statement are then tested for truth or falsity using a truth table.

If the final column of the truth table is a TAUTOLOGY, then argument is considered valid.

earoxas @ UST 2013 Validity of Arguments & Logical Equivalence 9

Page 10: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

EXAMPLE 3.4:

1. Show that the value R = (A → (A ˄ B)) is a contingent.

2. If A → B is false, determine the truth table of (~A) ˅ (A↔B)?

Validity of Arguments & Logical Equivalence 10 earoxas @ UST 2013

Page 11: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

EXAMPLE 3.5:

- Prove the validation of the argument given as:

The competition will start on time implies that all contestants are present; if and only if all the contestants are present or the competition will not start on time.

Validity of Arguments & Logical Equivalence 11 earoxas @ UST 2013

Page 12: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

EXAMPLE 3.6: Prove that the following is a valid argument.

p: Claire studies.

q: Claire plays volleyball.

r: Claire passes the board examination.

===

P1: If Claire studies, then she will pass the board examination.

P2: If Claire doesn’t play volleyball, then she’ll study.

P3: Claire failed the board examination.

===

Prove that (P1^P2^P3) q is valid.

Validity of Arguments & Logical Equivalence 12 earoxas @ UST 2013

Page 13: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

LOGICAL EQUIVALENCE

Compound values that have the same truth values in all possible cases are called logically equivalent.

The compound proposition p and q are called logically equivalent if p↔q is a tautology .

The notation p ≡ q denotes that p and q are logically equivalent.

The symbol “≡” is not a compound proposition but rather is the statement that p↔q is a tautology .

earoxas @ UST 2013 Validity of Arguments & Logical Equivalence 13

Page 14: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

Table 3.2: LOGICAL EQUIVALENCE

1. Double Negation: ~~p ≡ p 2. Commutative Laws: a. (pνq) ≡ (qνp)

b. (pΛq) ≡ (qΛp) c. (p↔q) ≡ (q↔p)

3. Associative Laws: a. [(pνq)νr] ≡ [pν(qνr)] b. [(pΛq)Λr] ≡ [pΛ(qΛr)]

4. Distributive Laws: a. [pν(q^r)] ≡ [(pνq)^(pνr)] b. [p^(qνr)] ≡ [(p^q)ν(p^r)]

5. Idempotent Laws: a. (pνp) ≡ p b. (p^p) ≡ p

earoxas @ UST 2013 14 Validity of Arguments & Logical Equivalence

Page 15: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

Table 3.2: LOGICAL EQUIVALENCE

6. Identity Laws: a. (pνF) ≡ p b. (p^T) ≡ p

7. Domination Laws / Inverse Laws: a. (pνT) ≡ T b. (p^F) ≡ F

8. Complement Laws / Negation Laws: a. (pν~p) ≡ T b. (p^~p) ≡ F

earoxas @ UST 2013 15 Validity of Arguments & Logical Equivalence

Page 16: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

Table 3.2: LOGICAL EQUIVALENCE

9. DeMorgan Laws: a. ~(pνq) ≡ (~p^~q) b. ~(p^q) ≡ (~pν~q)

c. (pνq) ≡ ~(~p^~q) d. (p^q) ≡ ~(~pν~q)

10. Contrapositive: (p→q) ≡ (~q→~p)

11. Implication: a. (p→q) ≡ (~pνq) b. (p→q) ≡ ~(p^~q)

earoxas @ UST 2013 16 Validity of Arguments & Logical Equivalence

Page 17: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

Table 3.2: LOGICAL EQUIVALENCE

12. Absorption Laws:

a. pν(p^q) ≡ p b. p^(pνq) ≡ p

13. Equivalence:

a. (pνq) ≡ (~p→q) b. (p^q) ≡ ~(p→~q)

earoxas @ UST 2013 17 Validity of Arguments & Logical Equivalence

Page 18: 03_ECE MATH 311_Validity of Arguments and Logical Equivalence

EXAMPLE 3.7:

1. Prove that (AνB)^~(~A^B) ≡ A

2. Show that ~(p+(~pxq)) and (~px~q) are logically equivalent.

3. Show that (p^q) (pνq) is a tautology. Use the truth table.

earoxas @ UST 2013 18 Validity of Arguments & Logical Equivalence