Scribd
Upload
10 views

Tutorial Session 356

The tutorial session covered propositional logic including logical connectives, truth tables, and translating between English and symbolic logic. Students practiced writing statements symbolically, determining logical equivalence using truth tables, and simplifying statement forms using logical laws. The session concluded with assigning practice problems from the textbook.

Uploaded by

Beket Abayev
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
10 views

Tutorial Session 356

The tutorial session covered propositional logic including logical connectives, truth tables, and translating between English and symbolic logic. Students practiced writing statements symbolically, determining logical equivalence using truth tables, and simplifying statement forms using logical laws. The session concluded with assigning practice problems from the textbook.

Uploaded by

Beket Abayev
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 15

Discrete Mathematics PED 356

Tutorial Session
What we Discussed

• Propositions
• Logical Connectives
• Truth Tables
• Compound propositions
• Translating English to logic and logic to English.
• Valid and Invalid Statements
Write the statements in symbolic form using the symbols ,  , ˅ and ˄ ` and
the indicated letters to represent component statements.

1. Let s = “stocks are increasing” and i = “interest rates are steady.”


a. Stocks are increasing but interest rates are steady.
b. Neither are stocks increasing nor are interest rates steady.

2. Let p = “x > 5,” q =“x = 5,” and r = “10 > x.”


a. x ≥ 5
b. 10 > x > 5
c. 10 >x ≥ 5

Problems from Ex 2.1


3. Write truth tables for the statement ,  (p ˄ q) v ( p v q).

4. Verify the logical equivalence, p ˄ ( q v p) ≡ p .

Problems from Ex 2.1


Activity

• Show that
p→q≡ ¬pq

This shows that a conditional proposition is simple a proposition form that uses a
not and an or.

• Show that
¬ (p → q) ≡ p  ¬q
This means that negation of ‘if p then q’ is logically equivalent to ‘p and not q’.
Solution (Correction in the Lecture slides)

p q p  q ¬ p  q ¬ (p  q) p¬q
T T T T F F
T F F F T T
F T T T F F
F F T T F F

From the above table it is obvious that conditional proposition is equivalent to a


“not or proposition” and that its negation is not of the form ‘if then’.
5. Write each of the following three statements in symbolic form and
determine which pairs are logically equivalent. Include truth tables and a few
words of explanation.

a) If it walks like a duck and it talks like a duck, then it is a duck.

b) Either it does not walk like a duck or it does not talk like a duck, or it is a

duck.

c) If it does not walk like a duck and it does not talk like a duck, then it is not

a duck.

Solution: Let p represent "It walks like a duck," q represent "It talks like a
duck," and r represent "It is a duck."

Problems from Ex 2.2


Truth Table

Problems from Ex 2.2


Rewrite the statements in if-then form.

1. Payment will be made on fifth unless a new hearing is granted.


If a new hearing is not granted, payment will be made
on the fifth.
2. Ann will go unless it rains.
If it doesn't rain, then Ann will go.
3. This door will not open unless a security code is entered.
If a security code is not entered, then the door will not
open.

Problems from Ex 2.2


Use truth tables to determine whether the argument forms are valid

p˄q→~r
p ˅ ~q
~p→p
~r

Problems from Ex 2.3


Tautology and Contradiction

Definition A tautology is a proposition form that is always


true regardless of the truth values of the individual
propositions substituted for its proposition variables. A
proposition whose form is a tautology is called a tautological
proposition.

Definition A contradiction is a proposition form that is


always false regardless of the truth values of the individual
propositions substituted for its proposition variables. A
proposition whose form is a contradiction is called a
contradictory proposition.
Example
Show that the proposition form p  ¬ p is a tautology
and the proposition form p ¬ p is a contradiction.

p ¬p p¬p p ¬ p
T F T F
F T T F

Exercise: If t is a tautology and c is contradiction, show


that p  t ≡ p and p  c ≡ c?
Laws of Logic
1. Commutative laws
pq≡ qp
pq≡qp

2. Associative laws 7. Idempotent laws


p  (q  r) ≡ (p q)  r pp≡ p; pp≡ p
p  (q  r) ≡ (p  q) r
8. Universal bound laws
3. Distributive laws pt≡t ;pc≡ c
p  (q  r ) ≡ (p  q)  (p  r)
p  (q  r) ≡ (p  q)  (p  r)
9. Absorption laws
4. Identity laws p  (p  q) ≡ p ;
pt≡p ;pc≡ p p  (p  q) ≡ p

5. Negation laws
p¬p≡t ;p¬p≡ c 10. Negation of t and c
¬t≡ c ; ¬c≡ t
6. Double negation law
¬ (¬ p) ≡ p
Simplifying Statement Forms
Practice in Tutorial Session

Ex 2.1 Problem 14, 21 42 and 52


Ex2.2 Problem 16, 40 and 41
Ex 2.3 Problem 11, 24 and 26

Assignment 1 Problems

Ex 2.1 Problem 45 and 54


Ex2.2 Problem 20
Ex 2.3 Problem 33 and 34

You might also like