Discrete Structures Prepositional Logic 2

Slides:



Advertisements
Similar presentations
Propositional Equivalences
Advertisements

Discrete Mathematics Lecture 1 Logic of Compound Statements Harper Langston New York University.
Introduction to Logic Sections 1.1 and 1.2 of Rosen Spring 2010
Introduction to Logic Sections 1.1 and 1.2 of Rosen Fall 2010 CSCE 235 Introduction to Discrete Structures URL: cse.unl.edu/~cse235 Questions:
CSE115/ENGR160 Discrete Mathematics 01/17/12 Ming-Hsuan Yang UC Merced 1.
First Order Logic. Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not.
CSE 311 Foundations of Computing I Autumn 2011 Lecture 2 More Propositional Logic Application: Circuits Propositional Equivalence.
Adapted from Discrete Math
Chapter 1, Part I: Propositional Logic With Question/Answer Animations.
The Foundations: Logic and Proofs
Discrete Mathematics Goals of a Discrete Mathematics Learn how to think mathematically 1. Mathematical Reasoning Foundation for discussions of methods.
The Foundations: Logic and Proofs
MATH 213 A – Discrete Mathematics for Computer Science Dr. (Mr.) Bancroft.
Mathematical Structures A collection of objects with operations defined on them and the accompanying properties form a mathematical structure or system.
CS 285- Discrete Mathematics Lecture 2. Section 1.1 Propositional Logic Propositions Conditional Statements Truth Tables of Compound Propositions Translating.
Chapter 1: The Foundations: Logic and Proofs
Applications of Propositional Logic
Chapter 1, Part I: Propositional Logic With Question/Answer Animations.
Lecture Propositional Equivalences. Compound Propositions Compound propositions are made by combining existing propositions using logical operators.
September1999 CMSC 203 / 0201 Fall 2002 Week #1 – 28/30 August 2002 Prof. Marie desJardins.
Chapter 1: The Foundations: Logic and Proofs
UMBC CMSC 203, Section Fall CMSC 203, Section 0401 Discrete Structures Fall 2004 Matt Gaston
CSci 2011 Recap ^Propositional operation summary not andorconditionalBi-conditional pq ppqqpqpqpqpqpqpqpqpq TTFFTTTT TFFTFTFF FTTFFTTF FFTTFFTT.
رياضيات متقطعة لعلوم الحاسب MATH 226. Text books: (Discrete Mathematics and its applications) Kenneth H. Rosen, seventh Edition, 2012, McGraw- Hill.
Section 1.1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: a) The Moon is made of green.
1 Georgia Tech, IIC, GVU, 2006 MAGIC Lab Rossignac Lecture 01: Boolean Logic Sections 1.1 and 1.2 Jarek Rossignac.
1.2 Application of Propositional Logic. Section Summary Translating English sentences Systems Specifications Consistence System Specifications Boolean.
Chapter 1 Propositional Logic
Discrete Mathematical
2. The Logic of Compound Statements Summary
Propositional Logic.
The Foundations: Logic and Proofs
Discrete Mathematics Lecture 1 Logic of Compound Statements
CSCE 235 Introduction to Discrete Structures
Discrete Mathematics Logic of Compound Statements
Niu Kun Discrete Mathematics Chapter 1 The Foundations: Logic and Proof, Sets, and Functions Niu Kun 离散数学.
Logic.
Citra Noviyasari, S.Si, MT
MATH 245 Spring 2009 This is mathematics for computer science
(CSC 102) Discrete Structures Lecture 2.
CPCS222 Discrete Structures I
Mathematics for Computing
The Foundations: Logic and Proofs
The Foundations: Logic and Proofs
Propositional Equivalences
CS100: Discrete structures
Information Technology Department
Applications of Propositional Logic
CS 220: Discrete Structures and their Applications
CS201: Data Structures and Discrete Mathematics I
CSE 311 Foundations of Computing I
CSRU 1400 Discrete Structure: Logic
Propositional Equivalences
CSE 311 Foundations of Computing I
CS 220: Discrete Structures and their Applications
CSE 311 Foundations of Computing I
Discrete Mathematics Dr.-Ing. Erwin Sitompul
CSS 342 Data Structures, Algorithms, and Discrete Mathematics I
Discrete Mathematics and Its Applications Kenneth H
Lecture 2: Propositional Equivalences
CSE 321 Discrete Structures
Cs Discrete Mathematics
The Foundations: Logic and Proofs
Logic Logic is a discipline that studies the principles and methods used to construct valid arguments. An argument is a related sequence of statements.
1.3 Propositional Equivalences
Logical and Rule-Based Reasoning Part I
CS201: Data Structures and Discrete Mathematics I
The Foundations: Logic and Proofs
The Foundations: Logic and Proofs
Propositional Satisfiability
Presentation transcript:

Discrete Structures Prepositional Logic 2 Dr. Muhammad Humayoun Assistant Professor COMSATS Institute of Computer Science, Lahore. mhumayoun@ciitlahore.edu.pk https://sites.google.com/a/ciitlahore.edu.pk/dstruct/ Some of the material is taken from Dr. Muhammad Atif’s slides

Recap Truth table: A truth table displays the relationship between the truth values of propositions. A table has 2 𝑛 rows where 𝑛 is number of proposition variables. Exclusive or: ⊕ 𝑝⊕𝑞 is true when exactly one of 𝒑 and 𝒒 is true and is false otherwise. Exercise: Draw a truth table of (𝑝⊕𝑞)∨(𝑝⇒𝑞)

Special Definitions 𝒑→𝒒 Inverse:¬𝒑→¬𝒒 Converse: 𝒒→𝒑 Contrapositive: ¬𝒒→¬𝒑

Example Pakistani team wins whenever it is raining p: It is raining q: Pakistani team wins q whenever p ≡ if p, then q (𝑝→𝑞) If it is raining, then Pakistani team wins. Inverse:¬𝒑→¬𝒒 If it isn’t raining, then Pakistani team doesn’t win. Converse : 𝒒→𝒑 If Pakistani team wins, then it is raining. Contrapositive: ¬𝒒→¬𝒑 If Pakistani team doesn’t win, then it isn’t raining.

𝑝 𝑞 𝑝 𝑞 𝑝  𝑞 𝑝  𝑞 𝑞  𝑝 𝑞  𝑝 𝑇 𝐹 Conditional Inverse Converse Contrapositive 𝑝 𝑞 𝑝 𝑞 𝑝  𝑞 𝑝  𝑞 𝑞  𝑝 𝑞  𝑝 𝑇 𝐹

Conditional ≡Contrapositive 𝑝→𝑞 ≡¬𝑞→¬𝑝 Inverse ≡ Converse ¬𝑝→¬𝑞 ≡𝑞→𝑝

Biconditionals Definition 6 Let p and q be propositions. The biconditional statement p ↔ q is the proposition “p if and only if q.” The biconditional statement p ↔ q is true when p and q have the same truth values, and is false otherwise. Biconditional statements are also called bi-implications.

Truth Table p ↔ q has exactly the same truth value as (p → q) ∧ (q → p)

Common ways to express p ↔ q “p is necessary and sufficient for q” “if p then q, and conversely” “p iff q”

Example p: “You can take the flight” q: “You buy a ticket” p ↔ q: You can take the flight if and only if you buy a ticket You can take the flight iff you buy a ticket The fact that you can take the flight is necessary and sufficient for buying a ticket

You can take flight if and only if you buy a ticket p: You can take flight q: You buy a ticket 𝑝↔𝑞 You can take flight if and only if you buy a ticket What is the truth value when: you buy a ticket and you can take the flight ?? 𝑇↔𝑇≡𝑇 you don’t buy a ticket and you can’t take the flight ?? 𝐹↔𝐹≡𝑇 you buy a ticket but you can’t take the flight ?? 𝑇↔𝐹≡𝐹 you can’t buy a ticket but can take the flight ?? 𝐹↔𝑇≡𝐹

Precedence of Logical Operators (𝑝⊕𝑞)∨(𝑝⇒𝑞) Can be written as (𝑝⊕𝑞)∨𝑝⇒𝑞 (T/F) ? ¬𝑎∧𝑏 𝑎∨𝑏⇔𝑏∨𝑎 𝑎∧𝑏∨𝑐 𝑎∧𝑏∧𝑐 𝑎∨𝑏∨𝑐

Exercise: For which values of a, b and c one gets 0 in the truth table of 𝑎∧ 𝑏⇒𝑐 ⇒( 𝑏⇒𝑎 ∧𝑐)

Logic and Bit Operations Boolean values can be represented as 1 (true) and 0 (false) A bit string is a series of Boolean values. Length of the string is the number of bits. 10110100 is eight Boolean values in one string We can then do operations on these Boolean strings Each column is its own boolean operation

1.2 Applications of Propositional Logic Translating English sentences (Formalization) System Specifications Boolean Searches Logic circuits …

Translating English Sentences You can access the Internet from campus only if you are a computer science major or you are not a freshman. 𝒂: You can access the Internet from campus 𝒄: You are a computer science major 𝒇: you are a freshman 𝒂→ (𝒄∨¬𝒇)

You cannot ride the roller coaster if you are under 4 feet tall unless you are older than 16 years old. 𝑟: you can ride roller coaster 𝑓 : you are under 4 feet 𝑜 : you are older than 16 years old 𝑓∧¬𝑜 →¬𝑟

System Specifications The automated reply cannot be sent when the file system is full p: The automated reply can be sent q: The system is full 𝑞 ⟶¬𝑝

Consistency System specifications should be consistent, They should not contain conflicting requirements that could be used to derive a contradiction When specifications are not consistent, there would be no way to develop a system that satisfies all specifications

Determine whether these system specifications are consistent: The diagnostic message is stored in the buffer or it is retransmitted. The diagnostic message is not stored in the buffer. If the diagnostic message is stored in the buffer, then it is retransmitted.

Determine whether these system specifications are consistent: The diagnostic message is stored in the buffer or it is retransmitted. The diagnostic message is not stored in the buffer. If the diagnostic message is stored in the buffer, then it is retransmitted. p: The diagnostic message is stored in the buffer q: The diagnostic message is retransmitted 1. 𝒑∨𝒒 2. ¬𝒑 3. 𝒑→𝒒

1. 𝒑∨𝒒 2. ¬𝒑 3. 𝒑→𝒒 Reasoning An assignment of truth values that makes all three specifications true must have p false to make ¬𝑝 true. Because we want 𝑝 ∨ 𝑞 to be true but 𝑝 must be false, q must be true. Because 𝑝 → 𝑞 is true when 𝑝 is false and 𝑞 is true we conclude that these specifications are consistent Let us do it with truth table now

Is it remain consistent if the specification “The diagnostic message is not retransmitted” is added? p: The diagnostic message is stored in the buffer q: The diagnostic message is retransmitted 1. 𝒑∨𝒒 2. ¬𝒑 3. 𝒑→𝒒

Inconsistent Is it remain consistent if the specification “The diagnostic message is not retransmitted” is added? p: The diagnostic message is stored in the buffer q: The diagnostic message is retransmitted 1. 𝒑∨𝒒 2. ¬𝒑 3. 𝒑→𝒒 4. ¬𝒒 Inconsistent

Boolean Searches Logical connectives are used extensively in searches of large collections of information, such as indexes of Web pages. Because these searches employ techniques from propositional logic, they are called Boolean searches.

Finding Web pages about universities in New Mexico: New AND Mexico AND Universities ‘New Mexico’ Universities New Universities in Mexico “New Mexico” AND Universities (New AND Mexico OR Arizona) AND Universities Arizona Universities (Mexico AND Universities) NOT New

Quiz Let x = “لڑک” Then x + “ا” = لڑکا Write Boolean search capturing this pattern

Logic Puzzles An island has two kinds of inhabitants, Knights, who always tell the truth Knaves, who always lie. You encounter two people A and B. What are A and B if A says “B is a knight” B says “The two of us are opposite types?

p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave A says “B is a knight” B says “The two of us are opposite types? p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave

p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave A says “B is a knight” B says “The two of us are opposite types? p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave First possibility: A is a knight; that is p is true.

p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave A says “B is a knight” B says “The two of us are opposite types? p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave First possibility: A is a knight; that is p is true. If A is a knight, then he is telling the truth when he says that B is a knight, so that q is true, and A and B are the same type (both knight). But, if B is a knight, then B’s statement that A and B are of opposite types (p ∧¬q) ∨ (¬p ∧ q), have to be true. But it is not; because A and B are both knights. Not consistent. Conclusion: A is not a knight (p is false).

p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave A says “B is a knight” B says “The two of us are opposite types? p: A is a knight ¬𝑝: A is a knave q: B is a knight ¬𝑞: B is a knave Second possibility: A is a knave; that is p is false. If A is a knave, then he is telling lie when he says that B is a knight. So B is knave (q is false). Also when B says that A and B are of opposite types (p ∧¬q) ∨ (¬p ∧ q), he again lies. Conclusion: A and B are both knaves.

Logic Circuits Propositional logic can be applied to the design of computer hardware A logic circuit (or digital circuit) receives input signals 𝑝 1 , 𝑝 2 , . . . , 𝑝 𝑛 , each a bit [either 0 (off) or 1 (on)], and produces output signals 𝑠 1 , 𝑠 2 , . . . , 𝑠 𝑛 , each a bit.

Quiz: Draw 𝒑∧¬𝒒 ∨¬𝒓

Quiz: Draw 𝒑∧¬𝒒 ∨¬𝒓

1.3 Propositional Equivalence An important type of step used in a mathematical argument is the replacement of a statement with another statement with the same truth value Propositional Equivalence is extensively used in the construction of mathematical arguments.

Tautology and Contradiction A compound proposition which is always true, is called tautology. For example, ¬𝑝∨𝑝, 𝑎⇒𝑎, 𝑎⇒(𝑏⇒𝑎) A compound proposition which is always false, is called contradiction. For example, ¬𝑝∧𝑝, ¬(𝑎⇒𝑎), 𝑎∧𝑏 ∧¬𝑎

Example on notebook: 𝑎⇒(𝑏⇒𝑎) 𝑎⇒𝑎

Logical Equivalences Compound propositions that have the same truth values in all possible cases are called logically equivalent. The compound propositions p and q are called logically equivalent if p ↔ q is a tautology. The notation p ≡ q denotes that p and q are logically equivalent.

Show that ¬ 𝑝∨𝑞 ≡¬𝑝∧¬𝑞

Standard equivalences Identity 𝑝 ∧ 𝑻 ≡ 𝑝 𝑝 ∨ 𝑭 ≡ 𝑝 Domination 𝑝 ∨ 𝑻 ≡ 𝑻 𝑝 ∧ 𝑭 ≡ 𝑭

Standard equivalences Idempotence 𝑝∧𝑝≡𝑝 𝑝∨𝑝≡𝑝 Double Negation ¬¬𝑝≡𝑝

Standard Equivalences Commutative law: 𝑝∧𝑞≡𝑞∧𝑝 𝑝∨𝑞≡𝑞∨𝑝 𝑝⇔𝑞≡𝑞⇔𝑝

Standard equivalences Associativity 𝑝∧𝑞 ∧𝑟≡𝑝∧ 𝑞∧𝑟 𝑝∨𝑞 ∨𝑟≡𝑝∨ 𝑞∨𝑟 𝑝⇔𝑞 ⇔𝑟≡𝑝⇔(𝑞⇔𝑟)

Standard equivalences Inversion ¬𝑇≡𝐹 ¬𝐹≡𝑇 Negation ¬𝑝 ≡ (𝑝⇒𝐹) Contradiction 𝑝∧¬𝑝 ≡ 𝐹

Distributive Law 𝑝∧ 𝑞∨𝑟 ≡ 𝑝∧𝑞 ∨ 𝑝∧𝑟 𝑝∨ 𝑞∧𝑟 ≡ 𝑝∨𝑞 ∧ 𝑝∨𝑟

¬ 𝑝∧𝑞 ≡¬𝑝∨¬𝑞 ¬ 𝑝∨𝑞 ≡¬𝑝∧¬𝑞 De Morgan’s Law ¬( 𝑝 1 ∧ 𝑝 2 ∧ · · · ∧ 𝑝 𝑛 ) ≡ (¬ 𝑝 1 ∨¬ 𝑝 2 ∨ ··· ∨¬ 𝑝 𝑛 ) ¬ 𝑝∨𝑞 ≡¬𝑝∧¬𝑞 ¬ ( 𝑝 1 ∨ 𝑝 2 ∨ · · · ∨ 𝑝 𝑛 )≡ (¬ 𝑝 1 ∧¬ 𝑝 2 ∧ ··· ∧ ¬𝑝 𝑛 )

Generalization De Morgan’s Laws ¬ 𝑖=1 𝑛 𝑝 𝑖 ≡ 𝑖=1 𝑛 ¬ 𝑝 𝑖 𝑖=1 𝑛 𝑝 𝑖 𝑐𝑎𝑛 𝑏𝑒 𝑢𝑠𝑒𝑑 𝑓𝑜𝑟 𝑝 1 ∧ 𝑝 2 ∧…∧ 𝑝 𝑛 𝑖=1 𝑛 𝑝 𝑖 𝑐𝑎𝑛 𝑏𝑒 𝑢𝑠𝑒𝑑 𝑓𝑜𝑟 𝑝 1 ∨ 𝑝 2 ∨…∨ 𝑝 𝑛 De Morgan’s Laws ¬ 𝑖=1 𝑛 𝑝 𝑖 ≡ 𝑖=1 𝑛 ¬ 𝑝 𝑖 ¬( 𝑖=1 𝑛 𝑝 𝑖 ) ≡ 𝑖=1 𝑛 ¬𝑝 𝑖

Absorption laws 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 𝑝 ∧ 𝑝 ∨ 𝑞 ≡ 𝑝

Negation laws 𝑝 ∨¬𝑝 ≡ 𝑻 𝑝 ∧¬𝑝 ≡ 𝑭

Implication 𝑝⇒𝑞≡¬𝑝∨𝑞 𝑝∨𝑞≡¬𝑝⇒𝑞

More Implication Laws 𝑝 → 𝑞 ≡ ¬𝑞 →¬𝑝 𝑝 ∧ 𝑞 ≡ ¬(𝑝 →¬𝑞) ¬(𝑝 → 𝑞) ≡ 𝑝 ∧¬𝑞 (𝑝 → 𝑞) ∧ (𝑝 → 𝑟) ≡ 𝑝 → (𝑞 ∧ 𝑟) (𝑝 → 𝑟) ∧ (𝑞 → 𝑟) ≡ (𝑝 ∨ 𝑞) → 𝑟 (𝑝 → 𝑞) ∨ (𝑝 → 𝑟) ≡ 𝑝 → (𝑞 ∨ 𝑟) (𝑝 → 𝑟) ∨ (𝑞 → 𝑟) ≡ (𝑝 ∧ 𝑞) → 𝑟

Bi-implications 𝑝 ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝) 𝑝 ↔ 𝑞 ≡ ¬𝑝 ↔¬𝑞 𝑝 ↔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (¬𝑝 ∧¬𝑞) ¬(𝑝 ↔ 𝑞) ≡ 𝑝 ↔¬𝑞

Using Logical Equivalence Show that ¬(𝑝 → 𝑞) and 𝑝 ∧¬𝑞 are logically equivalent. Show that ¬(𝑝 ∨ (¬𝑝 ∧ 𝑞)) and ¬𝑝 ∧¬𝑞 are logically equivalent by developing a series of logical equivalences. Prove that (𝑝∧𝑞)⇒(𝑝∨𝑞) is a tautology.

Using Logical Equivalence Ex: Prove that 𝑝∧𝑞 ⇒(𝑝∨𝑞) is a tautology. To show that this statement is a tautology, we will use logical equivalences to demonstrate that it is logically equivalent to T 𝑝 ∧ 𝑞 → 𝑝 ∨ 𝑞 ≡¬ 𝑝 ∧ 𝑞 ∨ 𝑝 ∨ 𝑞 Implication equivalence ≡ ¬𝑝∨¬𝑞 ∨ 𝑝 ∨ 𝑞 1st De Morgan law ≡¬𝑝∨(¬𝑞∨ 𝑝 ∨ 𝑞 ) Associative law ≡¬𝑝∨(𝑝∨ ¬q ∨ 𝑞 ) Commutative law ≡(¬𝑝∨𝑝)∨ ¬q ∨ 𝑞 Associative law ≡𝑇∨𝑇 Tautologies ≡𝑇 Idempotence

Do Exercises