The Foundations: Logic and Proofs: Discrete Mathematics and Its Applications
The Foundations: Logic and Proofs: Discrete Mathematics and Its Applications
Chapter 1
Outline
1 Propositional Logic
3 Propositional Equivalences
Introduction
Introduction
Propositions
Negation of a proposition
Negation of a proposition
Example: Exclusive or
Conditional Statements(implication )
Conditional Statements(implication )
Let p be the statement “Maria learns discrete
mathematics” and q the statement “Maria
will
find a good job.” Express the statement p → q as a
statement in English.
Solution
“If Maria learns discrete mathematics, then she will find a
good job.”
“Maria will find a good job when she learns discrete
mathematics.”
“For Maria to get a good job, it is sufficient for her to learn
discrete mathematics.”
“Maria will find a good job unless she does not learn
Week 2
discrete mathematics.” Saudi Electronic University
Discrete Mathematics
Propositional Logic Applications of Propositional Logic Propositional Equivalences
Problem
A bit has two possible values, zero (0) and one(1). A zero bit
represents “false”; a one bit represents “true.” There are bit op-
erations corresponding to logical conjunction (AND), disjunction
(OR), and exclusive or (XOR). A bit string is a sequence of
zero or more bits. The length of the string is the number of bits
in the string. The bit operations can be performed on two
strings of the same length by comparing respective bits.
Example