Scribd
Upload
340 views

Discrete Mathematics: Propositional Logic

This document summarizes key concepts in propositional logic covered in a discrete mathematics course, including definitions of propositional logic, syntax, semantics, logical connectives, truth assignments, implication, equivalence, satisfiability, and applications to modeling problems like the knights and knaves puzzle and the n-queens problem. Example problems are provided to illustrate various concepts in propositional logic.

Uploaded by

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

Discrete Mathematics: Propositional Logic

This document summarizes key concepts in propositional logic covered in a discrete mathematics course, including definitions of propositional logic, syntax, semantics, logical connectives, truth assignments, implication, equivalence, satisfiability, and applications to modeling problems like the knights and knaves puzzle and the n-queens problem. Example problems are provided to illustrate various concepts in propositional logic.

Uploaded by

Arun kumar.N
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 14

Discrete Mathematics

Propositional Logic
Shin Hong

2 Sep, 2019
Textbook coverage 2

• Sec. 1.1 Propositional logic


• Sec. 1.3. Propositional equivalence
• Sec. 1.2 Applications of propositional logic

Propositional
Logic
Discrete Math.

2019-09-12
Logic 3

• Logic, or a logic system, is a set of rules to specify and derive a


certain kind of statements
- to achieve clarity and correctness in an argument

• A logic system has the syntactic and the semantic aspects


- syntax: symbolic structure of the statements
- semantics: a relation between symbolic structures and meaning
Propositional
Logic
Discrete Math.

2019-09-12
Propositional Logic 4

• A statement in the propositional logic consists one or multiple


propositions connected with logical operators

• A proposition is a declarative sentence that is either true or false


-1+1=2
- Vancouver is the capital of Canada
-1+2+3
-x+1=2

• A propositional variable is a symbol that represents a propositional


Propositional
statement Logic
- the value of a propositional variable is either true or false
Discrete Math.
- the value is definitive within a statement
2019-09-12
Propositional Logic 5

• An atomic proposition is a propostion that cannot be expressed in


term of simpler terms

• A compound proposition is formed with other propositions and


logical operators
- logical operators (connectives): negation, disjunction, conjunction,
XOR, implication, etc.
- E.g., The negation of p for a proposition p, denoted as ¬𝑝, is the proposition
that is true only when p is false.

• Formal grammar
P := A | C Propositional
Logic
A := p | q | r | ...
Discrete Math.
C := ¬P | (P) | P ∨ P | P ∧ P | ...
2019-09-12
Evaluation 6

• A propositional statement with propositional variables may have


different evaluations (truth values) depending on the values of each
propositional variable
- ex. 𝑝 ∨ (𝑞 ∧ 𝑟)

• An assignment (model or valuation) of a proposional statement is


a combination of truth values of the propositional variables
- e.g. , 𝜙1 = (𝑝: T, 𝑞: T , 𝑟: T) or [[𝜙1 ]] 𝑝 = T , [[𝜙1 ]] 𝑞 = T , [[𝜙1 ]] 𝑟 = T
𝜙2 = (𝑝: T, 𝑞: T , 𝑟: F) or [[𝜙2 ]] 𝑝 = T , [[𝜙2 ]] 𝑞 = T , [[𝜙2 ]] 𝑟 = F
Propositional
Logic
Discrete Math.

2019-09-12
Implication (Conditional Statement) 7

• An implication is a logical connective such that 𝑝 → 𝑞 evaluates to True when


q is true if p is true
- 𝑝 → 𝑞 is equivalent with ¬𝑝 ∨ 𝑞
- used to state a condition
• examples
- if you do not take midterm, you get F
- if you are in the Handong campus, you are in Pohang
- x<y→x<y+1
- (2 + 3 = 4) → (1 + 2 = 4)

• The converse of 𝑝 → 𝑞 is 𝑞 → 𝑝. Propositional


• The inverse of 𝑝 → 𝑞 is ¬𝑝 → ¬𝑞. Logic
Discrete Math.
• The contrapositive of 𝑝 → 𝑞 is ¬𝑞 → ¬𝑝.
2019-09-12
Equivalence 8

• The condition that two propositions 𝑝 and 𝑞 evaluate to the same


can be expressed as (𝑝 → 𝑞) ∧ (𝑞 → 𝑝), or simply 𝑝 ↔ 𝑞
- have the same truth value for every assignment
- a statement 𝑝 ↔ 𝑞 refers as 𝑝 if and only if 𝑞 (or simply 𝑝 iff 𝑞)

Propositional
Logic
Discrete Math.

2019-09-12
Example 9

• De Morgan's law:

¬ 𝑝 ∧ 𝑞 ↔ ¬𝑝 ∨ ¬𝑞

¬ 𝑝 ∨ 𝑞 ↔ ¬𝑝 ∧ ¬𝑞

Propositional
Logic
Discrete Math.

2019-09-12
Propositional Satisfiability 10

• A proposition 𝑝 is satisfiable if there exists an assignment that


makes 𝑝 true

• A proposition 𝑝 is unsatisfiable if 𝑝 is not satisfiable


- A unsatisfiable proposition is called as contradiction

• A proposition 𝑝 is valid if 𝑝 is true for all assignments


- A valid proposition is called as tautology
- E.g., if x = y, then x = y Propositional
I just want to live while I am alive - Bon Jovi Logic
Discrete Math.

2019-09-12
Logic Puzzle: Knight or Knaves 11

• An island has two kinds of inhabitants,


knights, who always tell the truth, and
knaves, who always lie.

• You go to the island and meet A and B.


- A says “B is a knight.”
- B says “The two of us are of opposite types.”
What are the types of A and B?
Propositional
Logic
Discrete Math.

2019-09-12
Logic Puzzle: Treasure 12

• There are 3 trunks only one of which contains a treasure.


• Trunk 1 and Trunk 2 are inscribed with “This trunk is empty” and
Trunk 3 is inscribed with “Treasure is in Trunk 2”.
• You know that only of the three inscription is true.
• Where’s the treasure?
Propositional
Logic
Discrete Math.

2019-09-12
System Specification 13

• Logic-based languages (formal languages) are powerful tools for


specifying and analyzing software requirements rigorously

• E.g., Lufthansa A320 Airbus accident at Warsaw in 1993


- Specification: Turn on reverse thrust when the airplane is
running on runway for landing
- System Design (adopted)
• Set REVERSE_THRUST as ON iff
MODE = LANDING and ALTITUDE = 0
• Set MODE as LAND iff Propositional
VELOCITY > 0 and LANDING_GEAR_ANG > 0 Logic
Discrete Math.

2019-09-12
Application: N-Queen Problem 14

• Problem
- Place N Queens on a NxN grid, while not placing two
Queens on the same vertical, horizontal or diagonal line
• Modeling
- Proposition 𝑝𝑖,𝑗 indicates whether a Queen is placed at
the 𝑖-row and at the 𝑗-th column

𝑄1 = ሥ ሧ 𝑝𝑖,𝑗
𝑄4 = ሥ ሥ ሥ ¬(𝑝𝑖,𝑗 ∧ 𝑝𝑖−𝑘,𝑗+𝑘 )
𝑖=1..𝑛 𝑗=1..𝑛
𝑖=2..𝑛 𝑗=1..𝑛−1 𝑘=1..min(𝑖−1,𝑛−𝑗)

𝑄2 = ሥ ሥ ሥ ¬(𝑝𝑖,𝑗 ∧ 𝑝𝑖,𝑘 ) 𝑄5 = ሥ ሥ ሥ Propositional


¬(𝑝𝑖,𝑗 ∧ 𝑝𝑖+𝑘,𝑗+𝑘 )
𝑖=1..𝑛 𝑗=1..𝑛−1 𝑘=𝑗+1..𝑛 𝑖=1..𝑛−1 𝑗=1..𝑛−1 𝑘=1..min(𝑛−𝑖,𝑛−𝑗) Logic
𝑄3 = ሥ ሥ ሥ ¬(𝑝𝑗,𝑖 ∧ 𝑝𝑘,𝑖 ) Discrete Math.
𝑖=1..𝑛 𝑗=1..𝑛−1 𝑘=𝑗+1..𝑛 𝑄1 ∧ 𝑄2 ∧ 𝑄3 ∧ 𝑄4 ∧ 𝑄5
2019-09-12

You might also like