BY: MISS FARAH ADIBAH ADNAN IMK. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC 1.3.1 INTRODUCTION...
-
Upload
maria-thompson -
Category
Documents
-
view
216 -
download
0
Transcript of BY: MISS FARAH ADIBAH ADNAN IMK. CHAPTER OUTLINE: PART III 1.3 ELEMENTARY LOGIC 1.3.1 INTRODUCTION...
BY: MISS FARAH ADIBAH ADNANBY: MISS FARAH ADIBAH ADNAN
IMKIMK
CHAPTER OUTLINE: PART III
1.3 ELEMENTARY LOGIC
1.3.1 INTRODUCTION
1.3.2 PROPOSITION
1.3.3 COMPOUND STATEMENTS
1.3.4 LOGICAL CONNECTIVES
1.3.6 PROPOSITIONAL EQUIVALENCES
1.3.5 CONDITIONAL STATEMENT
1.3 ELEMENTARY LOGIC1.3 ELEMENTARY LOGIC
1.3.1 INTRODUCTION1.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
1.3.2 PROPOSITION1.3.2 PROPOSITION
Proposition – is a declarative sentence either true or false, but not both.
Eg:1) Washington, D.C., is the capital of the United
States of America.2) 1 + 1 = 23) What time is it?4) Read this carefully.5) 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.3.3 COMPOUND STATEMENTS1.3.3 COMPOUND STATEMENTS
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
1.3.4 LOGICAL CONNECTIVES1.3.4 LOGICAL CONNECTIVES
p
p
T F
F T
p
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
1.3.4 LOGICAL CONNECTIVES1.3.4 LOGICAL CONNECTIVES
p q
p q
T T T
T F F
F T F
F F F
p q
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
1.3.4 LOGICAL CONNECTIVES1.3.4 LOGICAL CONNECTIVES
p q
T T T
T F T
F T T
F F F
p q
p q
EXAMPLE 1.1EXAMPLE 1.1
Consider the following statements, and determine whether it is true or false.1)Ice floats in water and 2 + 2 = 42)China is in Europe and 2 + 2 = 43)5 – 3 = 1 or 2 x 2 = 4
EXAMPLE 1.2EXAMPLE 1.2
Let p and q be the following propositions:p = It is below freezingq = It is snowing
Translate the following into logical notation, using p and q and logical connectives.
(a)It is below freezing and snowing(b)It is below freezing but not snowing(c)It is not below freezing and it is not snowing(d)It is either snowing or below freezing (or both)
1) Conditional Statement/ ImplicationLet 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 ( )
1.3.5 CONDITIONAL STATEMENTS1.3.5 CONDITIONAL STATEMENTS
p q
T T T
T F F
F T T
F F T
p q
p q
p q
2) Equivalence/ BiconditionalLet 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 ( )
1.3.5 CONDITIONAL STATEMENTS1.3.5 CONDITIONAL STATEMENTS
p q
T T T
T F F
F T F
F F T
p q
p q
p q
CONVERSE : the implication of is called converse of
CONTRAPOSITIVE : the contrapositive of is the implication
Example: refer textbook
CONVERSE, CONTRAPOSITIVECONVERSE, CONTRAPOSITIVE
p qq p
p q q p
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.
1.3.6 PROPOSITIONAL EQUIVALENCES1.3.6 PROPOSITIONAL EQUIVALENCES
Example:
1.3.6 PROPOSITIONAL EQUIVALENCES1.3.6 PROPOSITIONAL EQUIVALENCES
T F T F
F T T F
pp p p p p
Contingency A proposition that is neither a tautology nor a
contradiction
Example: refer text book
1.3.6 PROPOSITIONAL EQUIVALENCES1.3.6 PROPOSITIONAL EQUIVALENCES
Logically EquivalentTwo 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
1.3.6 PROPOSITIONAL EQUIVALENCES1.3.6 PROPOSITIONAL EQUIVALENCES
p q
( ) and pp q q
p q p^q -(p^q) p q -p -q -p v -q
T T T F T T F F F
T F F T T F F T T
F T F T F T T F T
F F F T F F T T T