Professional Documents
Culture Documents
Books: Discrete Mathematics and Its Applications by Kenneth H. Rosen
Books: Discrete Mathematics and Its Applications by Kenneth H. Rosen
• COMBINATORICS
• GRAPHS
• ALGEBRAIC STRUCTURES
❖Predicate Logic.
Propositional Logic
• The study of propositional logic consist
of syntax (grammar), sematics (meaning),
inference rules and derivation.
• Propositional logic can be considered as
a language of human reasoning.
• It consists of
▪ Propositional Variables denoted by
𝐩, 𝐪, 𝐫, 𝐬, … . (which are simple statements).
▪ Propositional constants denoted by T and
F (True or False)
▪ Connectives or basic logical operators
denoted by ∧, ∨, ∼, → , ↔ .
Propositions (Statements)
• A declarative sentence which is true
or false, but not both, is called a
proposition or statement.
• Sentences which are exclamatory,
interrogative or imperative in nature
are not propositions.
Examples:
1. New Delhi is the capital city of India.
3. 2 + 3 = 3.
5. 𝑥 + 𝑦 = 𝑧.
T F
F T
DISJUNCTION (∨)[OR]
If p and q are two propositions then
the disjunction of p and q is the compound
proposition p or q and is denoted by 𝒑 ∨ 𝒒.
➢ The compound statement 𝒑 ∨ 𝒒 is false if
both of p and q is false.
➢ 𝑝 ∨ 𝑞 is true if atleast one of p and q is true.
(i.e) Rule : F F implies F otherwise T.
TRUTH TABLE FOR DISJUNCTION
(∨) [OR]
T T T
T F T
F T T
F F F
T T T
T F F
F T F
F F F
(i.e) Rule : T T implies T otherwise F.
Conditional statement:(→)[If…then]
If p and q are propositions the compound
statement ‘if p, then q’ is called a conditional
statement or implication and is denoted by 𝒑 →
𝒒.
➢ In this implication p is called the Hypothesis
and q is called the conclusion.
➢ 𝒑 → 𝒒 is false if p is true and q is false.
➢ In other cases 𝒑 → 𝒒 is true.
(i.e) Rule : T F implies F otherwise T.
• NOTE:
➢The conditional statement 𝒑 → 𝒒
is read as
“ p implies q ” or
“ p only if q ” or
“ p is sufficient for q ” or
“ q if p ”
TRUTH TABLE FOR CONDITIONAL
STATEMENT (𝒑 → 𝒒) [𝑰𝒇 … 𝒕𝒉𝒆𝒏]
T T T
T F F
F T T
F F T
T T T
T F F
F T F
F F T
Solution: Let 𝑆 = 𝑷 ∨ 𝑸 → 𝑷 ∧ 𝑸
T T T T T
T F T F F
F T T F F
F F F F T
Construct truth table for 𝒑 → 𝒒 → 𝒒 → 𝒑 .
Solution : Let 𝑆 = 𝒑 → 𝒒 → 𝒒 → 𝒑 .
T T T T T
T F F T T
F T T F F
F F T T T
Construct the truth table for ¬(𝑷 ∨ 𝑸) ∧ (𝑷 ∨ 𝑹)
T T T T F T F
T T F T F T F
T F T T F T F
T F F T F T F
F T T T F T F
F T F T F F F
F F T F T T T
F F F F T F F
WELL FORMED FORMULAS
is called a Contradiction.
T T F F F F T
T F F T T F T
F T T F F F T
F F T T F T T
This is a Tautology.
Verify whether the following statement are Tautology
or Contradiction or contingency ¬(𝒒 → 𝒓) ∧ 𝒓 ∧ (𝒑 → 𝒒).
:
Solution Let t = ¬ 𝒒 → 𝒓 ∧ 𝒓 , 𝑆 = ¬(𝒒 → 𝒓) ∧ 𝒓 ∧ (𝒑 → 𝒒)
T T T T T F F F
T T F T F T F F
T F T F T F F F
T F F F T F F F
F T T T T F F F
F T F T F T F F
F F T T T F F F
F F F T T F F F
This is a contradiction.
Verify whether the following statement are Tautology
or Contradiction or contingency (𝑷 ∨ 𝑸) → 𝑷.
Solution: Let S = (P ∨ Q) → P
T T T T
T F T T
F T T F
F F F T
This is a Contingency.
Logical Equivalence
▪ Two propositions P and Q are said to be
values.
Logical Implication
• let P and Q be two compound propositions,
if 𝑃 → 𝑄 is a Tautology, then “P is said to be logically
imply Q” and it is denoted by 𝑷 ⇒ 𝑸 .
• It is read as “ P implies Q”
• We also say that “Q logically follows from P”.
Note:
• The symbols → and ⟹ are different.
• → is logical connective (Or) logical operator.
• ⟹ is not a logical connective (Or) logical operator.
Show that 𝑷 → 𝑸 and ¬𝑷 ∨ 𝑸 are logically
equivalent.
Method : I
W.K.T, Two propositions P and Q are said to be
logically equivalent if 𝑷 ↔ 𝑸 is a Tautology.
To show : (𝑃 → 𝑄) ↔ (¬𝑃 ∨ 𝑄) ≡ 𝑇
Let 𝑺 = (𝑷 → 𝑸) ↔ (¬𝑷 ∨ 𝑸)
T T F T T T
T F F F F T
F T T T T T
F F T T T T
T F F F F
F T T T T
F F T T T
T T T T T T T T T
T T F T F F F F T
T F T F T T T T T
T F F F F T T T T
F T T T T T T T T
F T F T T F T T T
F F T T T T T T T
F F F T T T T T T
1.Write the following statement in symbolic form :
Solution:
𝒒 ∶ He is not busy.
(𝒑 ∨ 𝒒) → 𝒓.
2. Negate the statement: “ John is playing
Solution :
Form 1 : John is not playing football.
Form 2 : It is not the case that John is
playing football.
3.State the truth value of “ If tigers have
wings then the earth travels round the
sun”
Solution:
statement.
Name of
Primal Form Dual Form
the Law
Distributive
Law
Absorption
Law
Demorgan’
s Law
Negation
Law
Equivalences Involving Conditionals
2 (Contrapositive)
6
Equivalences Involving Conditionals
4
1.Without using truth table , prove that
¬𝑷 ⟶ 𝑸 ⟶ 𝑹 ≡ 𝑸 ⟶ 𝑷 ∨ 𝑹
Solution:
¬𝑷 ⟶ 𝑸 ⟶ 𝑹 ≡ ¬𝑷 ⟶ ¬𝑸 ∨ 𝑹 (By 𝑷 → 𝑸 ≡ ¬𝑷 ∨ 𝑸)
≡ 𝑸 ⟶ (𝑷 ∨ 𝑹) (By ¬𝑷 ∨ 𝑸 ≡ 𝑷 ⟶ 𝑸)
2. Without using truth table, show that
∼ 𝑷 ∧ ∼ 𝑸 ∧ 𝑹 ∨ 𝑸 ∧ 𝑹 ∨ 𝑷 ∧ 𝑹 ⇔ 𝑹.
Solution:
∼𝑷∧ ∼𝑸∧𝑹 ∨ 𝑸∧𝑹 ∨ 𝑷∧𝑹
⇔ (∼ 𝑷 ∧ ∼ 𝑸 ∧ 𝑹 ) ∨ ( 𝑸 ∧ 𝑹 ∨ 𝑷 ∧ 𝑹 ) (By Asso Law)
⇔ (∼ 𝑷 ∧ ∼ 𝑸 ∧ 𝑹 ) ∨ ((𝑸 ∨ 𝑷) ∧ 𝑹) (By Dis Law)
⇔ ∼ 𝑷 ∧∼ 𝑸 ∧ 𝑹 ∨ 𝑷∨𝑸 ∧𝑹
(By Asso & Comm Law)
⇔ (∼ (𝑷 ∨ 𝑸) ∧ 𝑹) ∨ ((𝑷 ∨ 𝑸) ∧ 𝑹) (By Demorgan’s Law)
⇔ (∼ 𝑷 ∨ 𝑸 ∨ 𝑷 ∨ 𝑸 ) ∧ 𝑹 (By Dis law)
⇔𝑻∧𝑹 (By Complement law, 𝒑 ∨∼ 𝒑 ≡T)
⇔𝑹 (By Identity law, 𝑷 ∧ 𝑻 ≡ 𝑷)
3. Show that
(𝑃 ∨ 𝑄) ∧ ¬(¬𝑃 ∧ ¬𝑄 ∨ ¬𝑅 ) ∨ (¬𝑃 ∧ ¬𝑄) ∨ (¬𝑃 ∧ ¬𝑅)
is a tautology by using equivalences.
Solution :
(𝑷 ∨ 𝑸) ∧ ¬(¬𝑷 ∧ ¬𝑸 ∨ ¬𝑹 ) ∨ (¬𝑷 ∧ ¬𝑸) ∨ (¬𝑷 ∧ ¬𝑹)
⇔ ( 𝑷 ∨ 𝑸 ∧ ¬ ¬𝑷 ∧ ¬𝑸 ∨ ¬𝑹 ) ∨ ( ¬𝑷 ∧ ¬𝑸 ∨ ¬𝑷 ∧ ¬𝑹 )
(By Associative law)
⇔ ( 𝑷 ∨ 𝑸 ∧ 𝑷 ∨ ¬ ¬𝑸 ∨ ¬𝑹 ) ∨ (¬𝑷 ∧ ¬𝑸 ∨ ¬𝑹 )
(By Demorgan’ s & Distributive law)
⇔ ( 𝑷 ∨ 𝑸 ∧ 𝑷 ∨ 𝑸 ∧ 𝑹 ) ∨ (¬𝑷 ∧ ¬ 𝑸 ∧ 𝑹 )
(By Demorgan’s law)
⇔ (𝑷 ∨ (𝑸 ∧ 𝑸 ∧ 𝑹 ) ∨ ¬(𝑷 ∨ 𝑸 ∧ 𝑹 )
(By Distributive law & Demorgan’ law)
⇔ (𝐏 ∨ 𝐐 ∧ 𝐐 ∧ 𝐑 ) ∨ ¬(𝐏 ∨ 𝐐 ∧ 𝐑 )
(By Associative law)
⇔ (𝑷 ∨ 𝑸 ∧ 𝑹 ) ∨ ¬(𝑷 ∨ 𝑸 ∧ 𝑹 )
(By Idempotent law, 𝑷 ∧ 𝑷 ≡ 𝑷)
⇔𝑻
(By Complement law, 𝑷 ∨ ¬𝑷 ≡ 𝑻)
Hence the given proposition is a tautology.
4. Prove that (𝑷 → 𝑸) ∧ (𝑸 → 𝑹) ⟹ (𝑷 → 𝑹).
Solution:
≡ ( ¬𝑷 ∨ 𝑸 ∧ ¬𝑸 ∨ 𝑹 ) → (¬𝑷 ∨ 𝑹) (By 𝑷 → 𝑸 ≡ ¬𝑷 ∨ 𝑸)
≡ ¬( ¬𝑷 ∨ 𝑸 ∧ ¬𝑸 ∨ 𝑹 ) ∨ (¬𝑷 ∨ 𝑹) (By 𝑷 → 𝑸 ≡ ¬𝑷 ∨ 𝑸)
≡ 𝑷 ∧ ¬𝑸 ∨ ( 𝑸 ∨ ¬𝑷 ∨ 𝑹 ∧ (¬𝑹 ∨ ¬𝑷 ∨ 𝑹))
≡ 𝑷 ∧ ¬𝑸 ∨ ( ¬𝑷 ∨ 𝑸 ∨ 𝑹 ∧ ((¬𝑹 ∨ 𝑹) ∨ ¬𝑷))
≡ 𝑷 ∧ ¬𝑸 ∨ ( ¬𝑷 ∨ 𝑸 ∨ 𝑹 ∧ (𝑻 ∨ ¬𝑷))
≡ 𝑷 ∧ ¬𝑸 ∨ ( ¬𝑷 ∨ 𝑸 ∨ 𝑹 ∧ 𝑻)
≡ 𝑷 ∨ ¬𝑷 ∨ 𝑸 ∨ 𝑹 ∧ ¬𝑸 ∨ ¬𝑷 ∨ 𝑸 ∨ 𝑹
≡ ( 𝑷 ∨ ¬𝑷) ∨ (𝑸 ∨ 𝑹 ) ∧ ¬𝑷 ∨ (¬𝑸 ∨ 𝑸) ∨ 𝑹
≡ 𝑻 ∨ (𝑸 ∨ 𝑹 ) ∧ (¬𝑷 ∨ 𝑹) ∨ 𝑻
Hence, (𝑷 → 𝑸) ∧ (𝑸 → 𝑹) ⟹ (𝑷 → 𝑹).