Chapter 1 SETS, FUNCTIONs, ELEMENTARY LOGIC & BOOLEAN ALGEBRAs

Download Presentation

Chapter 1 SETS, FUNCTIONs, ELEMENTARY LOGIC & BOOLEAN ALGEBRAs

Loading in 2 Seconds...

- 251 Views
- Uploaded on
- Presentation posted in: General

Chapter 1 SETS, FUNCTIONs, ELEMENTARY LOGIC & BOOLEAN ALGEBRAs

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Chapter 1SETS, FUNCTIONs, ELEMENTARY LOGIC & BOOLEAN ALGEBRAs

BY: MISS FARAH ADIBAH ADNAN

IMK

1.3 ELEMENTARY LOGIC

1.3.1 INTRODUCTION

1.3.2 PROPOSITION

CHAPTER OUTLINE: PART III

1.3.3 COMPOUND STATEMENTS

1.3.4 LOGICAL CONNECTIVES

1.3.5 CONDITIONAL STATEMENT

1.3.6 PROPOSITIONAL EQUIVALENCES

1.3.1 INTRODUCTION

- Logic – used to distinguish between valid and invalid mathematical arguments.
- Application in computer science – design computer circuits, construction of computer program, verification of the correctness of programs.
- Basic building blocks - Prepositions

- Proposition – is a declarative sentence either true or false, but not both.
- Eg:
- Washington, D.C., is the capital of the United States of America.
- 1 + 1 = 2
- What time is it?
- Read this carefully.
- x + 1 = 2
- Letters are used to denote prepositions – p, q, r, s.

- Many mathematical statements are constructed by combining one or more propositions.
Eg:

John is smart or he studies every night.

- Fundamental property of a compound proposition:
The truth value is determined by the truth value of its subpropositions, together with the way they are connected to form compound proposition.

1) Not (negation) : ~ /

Let p be a proposition. The negation of p is denoted by

, and read as “not p”.

-Eg:

Find the negation of the preposition “Today is Friday”.

The Truth Table for the Negation of a Preposition

2) And (conjunction) :

Let p and q be prepositions. The preposition of “p and q” - denoted , is TRUE when BOTH p and q are true and otherwise is FALSE.

The Truth Table for the Conjunction of Two Prepositions

3) Or (disjunction) :

Let p and q be prepositions. The preposition of “p or q” - denoted , is FALSE when BOTH p and q are FALSE and TRUE otherwise.

The Truth Table for the Disjunction of Two Prepositions

Consider the following statements, and determine whether it is true or false.

- Ice floats in water and 2 + 2 = 4
- China is in Europe and 2 + 2 = 4
- 5 – 3 = 1 or 2 x 2 = 4

Let p and q be the following propositions:

p = It is below freezing

q = It is snowing

Translate the following into logical notation, using p and q and logical connectives.

- It is below freezing and snowing
- It is below freezing but not snowing
- It is not below freezing and it is not snowing
- It is either snowing or below freezing (or both)

1) Conditional Statement/ Implication

Let p and q be a preposition. The implication is the preposition that is FALSE when p is true, q is false. Otherwise is TRUE.

p = hypothesis/antecedent/premise

q = conclusion/consequence

Express: “ if p, then q”, “q when p”, “p implies q”

The Truth Table for the Implication ( )

2) Equivalence/ Biconditional

Let p and q be a preposition. The biconditional is the preposition that is TRUE when p and q have the same truth values, and FALSE otherwise.

Express: “ p if and only if q”

The Truth Table for the Biconditional ( )

CONVERSE : the implication of is called converse of

CONTRAPOSITIVE : the contrapositive of is the implication

Example: refer textbook

Tautology

- A compound proposition that is always TRUE, no matter what the truth values of the propositions that occur in it.
- Contains only “T” in the last column of their truth table.
Contradiction

- A compound proposition that is always FALSE.
- Contains only “F” in the last column of their truth table.

Example:

Contingency

- A proposition that is neither a tautology nor a contradiction
Example: refer text book

Logically Equivalent

Two propositions p and q are said to be logically equivalent, or simply equivalent or equal, denoted by

if they have identical truth tables.

Example: Find the truth tables of