0% found this document useful (0 votes)
20 views33 pages

Introduction to Logic and Propositions

This document provides an introduction to logic and discrete structures. It defines key logic terms like propositions, compound propositions, and logical connectives. It presents examples of different logical connectives like negation, conjunction, disjunction, implication, biconditional, and exclusive disjunction. It provides truth tables for compound propositions and exercises for students to practice writing compound propositions and determining their truth values. The document aims to help students differentiate between basic logical terms and understand how to represent logical relationships using symbols and truth tables.

Uploaded by

AshrafD.Zulkefly
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPT, PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
20 views33 pages

Introduction to Logic and Propositions

This document provides an introduction to logic and discrete structures. It defines key logic terms like propositions, compound propositions, and logical connectives. It presents examples of different logical connectives like negation, conjunction, disjunction, implication, biconditional, and exclusive disjunction. It provides truth tables for compound propositions and exercises for students to practice writing compound propositions and determining their truth values. The document aims to help students differentiate between basic logical terms and understand how to represent logical relationships using symbols and truth tables.

Uploaded by

AshrafD.Zulkefly
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPT, PDF, TXT or read online on Scribd

DCS5028: DISCRETE STRUCTURE

CHAPTER 1
(PART 1)
Introduction to Logic
1
LEARNING OBJECTIVES
Differentiate between propositions and
compound proposition.
Write the compound propositions.
Differentiate and write the Propositional
Equivalences.
2
DCS5028
Logic
The discipline that deals with the methods of
reasoning.
Provides rules and techniques for determining
whether a given argument is valid.


3
DCS5028
LOGIC
4
All cats have four legs.
I have four legs.
I am a cat.
DCS5028
Proposition
Is a declarative sentence that is either TRUE or
FALSE, but NOT BOTH
5
DCS5028
EXAMPLE
Which of the following sentences is proposition?

Determine the truth value (true or false) of the
sentence if it is a proposition.

1. Singapore is not an ASEAN Country.
2. Apple is a fruit.
3. Just follow the step-by-step instructions, which will guide
you through the questionnaire.
4. In the film, Captain Jack Sparrow (Johnny Depp) is joined
by Angelica (Lady Gaga) in his search for the Fountain of
Youth.

5. 6 + 12 * 5 = 366
6. x + y = 333
7. Cat can fly.
8. What a beautiful evening!
6
DCS5028
(P, FALSE)
(P, TRUE)
Not a Proposition
(P, FALSE)
(P, FALSE)
Not a Proposition
(P, FALSE)
(P, TRUE/ FALSE)
EXERCISE
Which of the following are propositions?
The earth is round.
2 + 3 = 5
Listen!
5- x =3
Are you sleeping?
DCS5028
7
COMPOUND PROPOSITIONS
In logic,letters p, q, rdenote propositional
variables.
Example:
p : Today is a windy day.
q: It is cold.

Propositional variables can be combined by
logical connectives to obtain compound
proposition.
DCS5028
8
1. Negation
2. Conjunction
2. Disjunction
3. Exclusive Disjunction (exor)
5. Implication/Conditional
6. Biconditional

9
The above words are known as connectives
DCS5028
Connectives Symbol Name
not ~ negation
and conjunction
or disjunction
exclusive Or exclusive
disjunction(or)
ifthen. Implication
/conditional
if and only if biconditional
10
DCS5028
NEGATION
Let p be a proposition.
The negation of p, denoted as ~p or p, read as not
p.
Can be written in English as this is not the case that
p.
The operator is a unary operator on propositions.

The truth value of the proposition p is defined by the
truth table


11
DCS5028
NEGATION
Example 1:
Let q: Ali can swim.
Answer : q


Example 2:
Let r : Amy is a dance instructor.
Answer: r

12
Ali could not swim.
Another answer: It is not the case that Ali can swim

Amy is not a dance instructor


Another answer: It is not the case that Amy is a dance instructor
DCS5028
EXERCISE
Give the negation of the following
statements:
a) p : 2+3>1
b) q: It is cold

DCS5028
13
CONJUNCTION
Let p and q be propositions,
The proposition of p and q, denoted by p q.
The proposition that is TRUE when both p and q
are TRUE and is FALSE otherwise.
The proposition p q is called a conjunction of p
and q.

14
DCS5028
p q p q
T T T
T F F
F T F
F F F

CONJUNCTION
Example 3:
Form the conjunction of p and q for the following.

Let p: Ali enjoys running. Let q: Ali likes hiking.
Answer:




QUESTION
What is the truth value of compound proposition above,
if the p proposition is TRUE and q proposition is
FALSE?
15
Ali likes running and hiking. Or Ali enjoys running and hiking.
FALSE
DCS5028
EXERCISE:
Form the conjunction of p and q for each of
the following and determine the truth value
for the compound proposition:
a) p: 2 < 3 q: -5 > -8
b) p: 2 + 5 7 q: 2 <5
DCS5028
16
DISJUNCTION
Let p and q be propositions.
The disjunction of p or q, denoted by p q, is a
compound proposition means p or q.
Disjunction of p or q is the proposition that is FALSE
when p and q are both false and TRUE otherwise.
17
DCS5028
p q p V q
T T T
T F T
F T T
F F F
DISJUNCTION
Example 4
Let p: John is at the library.
Let q: John is studying.
Answer:




QUESTION
What is the truth value of propositions in example
above, if the p proposition is false and the q proposition
is true?
18
John is at the library or John is studying
Or
John is either at the library or he is studying
TRUE
DCS5028
EXERCISE:
Form the disjunction of p and q for each of
the following and determine the truth value
for the compound proposition:
a) p: 2 < 3 q: 2 is a positive integer
b) p: 2 + 5 7 q: 2 is a positive integer
DCS5028
19
EXCLUSIVE DISJUNCTION(EXOR)
Let p and q be propositions.
The exclusive or of p and q, is denoted by p q.
Exclusive OR of p q is the proposition that is
TRUE when EXACTLY ONE of the propositions(p,q)
is TRUE and is FALSE otherwise.
Example:
p: I left for Singapore on Monday
q: I left for Singapore on Wednesday
Exactly one of the two possibilities could have
occurred. Both could not have occurred.

20

DCS5028
EXCLUSIVE-OR

DCS5028
21
p q p q
T T F
T F T
F T T
F F F
EXCLUSIVE DISJUNCTION(EXOR)
Example 5:
Let p: Muthu likes to eat. q: Muthu likes to watch
movies.
Answer:



QUESTION
What is the truth value of propositions in example
above, if both p and q propositions are false?

22
Muthu likes to eat exclusive or watching movies
FALSE
DCS5028
IMPLICATION
Let p and q be propositions.
The implication of p and q, denoted by pq, is a
compound proposition that means if p then q.
In this implication, p is called the hypothesis and q is
called the conclusion (or consequence).
23
DCS5028
EXERCISE
Form the implication p q for each of the
following:
a) p: I am hungry q: I will eat
b) p: It is raining q: 3+ 5 = 8

DCS5028
24
IMPLICATION
For an implication :
The converse of it is q p
The contrapositive of it is q p
The proposition of p q is called the inverse of p q.

25
Example 6
Let p: Muthu likes to eat. q: Muthu likes to watch movies.

1. pq:
2. Converse:
3. Contrapositive:
4. Inverse:


Answer:
1. If Muthu likes to eat, then he likes to watch movies.
2. If Muthu likes to watch movies, then he likes to eat.
3. If Muthu doesnt like to watch movies, then he doesnt
like to eat
4. If Muthu doesnt like to eat, then he doesnt like to
watch movies

DCS5028
IMPLICATION (CONTINUED)
What is the truth value for (1) to (4) in
Example 6, if p is TRUE and q is FALSE?

DCS5028
26
JUST FOR FUN
27
IF
THEN
1
1
11
DCS5028
What is the truth value for this implication?
Answer: T F = F
BICONDITIONAL
Let p and q be propositions.
The biconditional of p if and only if q, denoted by p
q.
The Biconditional for p q is TRUE when p and q have
the same truth values, and is FALSE otherwise.

28
DCS5028
BICONDITIONAL
Example 7
Let p: Muthu likes to eat. q: Muthu likes to watch
movies.
Answer:


QUESTION
What is the truth value of propositions in example given,
if both p and q proposition are FALSE?
29
Muthu likes to eat if and only if he likes to watch movies.
TRUE
DCS5028
EXERCISE
Is the following biconditional a true
statement?

3 > 2 if and only if 0 < 3-2.

DCS5028
30
REVIEW QUESTIONS
1. Which of these sentences are propositions? What are the
truth-values of those that are propositions?
2 * 4 = 8
Stand UP!!!.
Mr. Mat Aris is the Manager for CDP.
2. What is the negation for each of the propositions below?
PHP is an Open Source Software.
(24 * 12) / 3 = 36.
3. Given that proposition r is true, proposition s is true and
proposition m is false, determine whether each
proposition below is true or false.
r m
r (m s)





31
DCS5028
REVIEW QUESTIONS
4. Let p and q be the propositions Michael likes scuba
diving and Michael likes hiking. Express each of these
compound propositions as an English sentence.
q
p q
p q
p q
5. State the inverse, converse and contrapositive of the
following proposition: If an object is a triangle then it is a
polygon.
6. Construct a truth table for each of these compound
propositions.
p q
p (q r )
(p q) (p q)






32
DCS5028
REVIEW QUESTIONS
7. Let p and q be the propositions
p: Your car is out of gas.
q: You can't drive your car.
Write the following propositions using p and q and logical
connectives.
Your car is not out of gas.
You can't drive your car if it is out of gas.
Your car is not out of gas if you can drive it.
If you can't drive your car then it is out of gas.
8. Given that proposition p is false, proposition q is true, and
proposition r is false, determine whether each proposition
below is true or false.
p q
p q
(p q) (p r)






33
DCS5028

Common questions

Powered by AI

Logical connectives include negation (~), conjunction (⋀), disjunction (⋁), exclusive disjunction (⊕), implication (→), and biconditional (↔). Negation reverses the truth value of a proposition . Conjunction (p ⋀ q) is true when both propositions p and q are true . Disjunction (p ⋁ q) is true when at least one of p or q is true . Exclusive disjunction (p ⊕ q) is true when exactly one of p or q is true . Implication (p→q) is false only when p is true and q is false . Biconditional (p↔q) is true when both p and q have the same truth value .

Negation (~p) is applied to reverse the truth value of a proposition; if the original proposition p is true, then ~p is false and vice versa. It is useful in forming the inverse or contrapositive of an implication or when testing the consistency of arguments in logic .

A simple proposition is a declarative sentence that is either true or false and cannot be broken down further, such as 'Apple is a fruit' . A compound proposition, on the other hand, is formed by combining simple propositions using logical connectives such as 'and', 'or', and 'if...then...', forming more complex statements like 'p and q' .

The truth value of a conjunction (p ⋀ q) is false if one proposition is true and the other is false, as a conjunction is only true when both propositions are true .

A biconditional proposition (p↔q) is true when both p and q have the same truth value, meaning both are either true or both are false. It is false when p and q have different truth values .

Given an implication 'if p then q' (p→q), its converse is 'if q then p' (q→p), its inverse is 'if not p then not q' (¬p→¬q), and its contrapositive is 'if not q then not p' (¬q→¬p). The contrapositive is logically equivalent to the original implication, whereas the converse and inverse do not necessarily hold true when the original implication is true .

Assuming that the converse (q→p) or inverse (¬p→¬q) of an implication (p→q) is true can lead to logical errors, as these are not necessarily logically equivalent to the original implication. This misstep can lead to faulty deductions, as the truth of the original implication does not guarantee the truth of its converse or inverse .

The exclusive disjunction (p ⊕ q) is true only when exactly one of the propositions p or q is true, whereas the inclusive disjunction (p ⋁ q) is true when at least one of the propositions is true, including when both are true .

The truth value of an implication (p→q) is always true if the hypothesis p is false, regardless of the truth value of the conclusion q. This is because a false hypothesis cannot lead to a false conclusion logically, as the implication only concerns cases where p is true .

Defining propositions clearly is crucial in logical reasoning to avoid ambiguity and ensure that the arguments are valid and sound. Clear propositions facilitate accurate truth value assignments and enable the logical structure, such as implications and equivalences, to function properly .

You might also like