Scribd
Upload
129 views3 pages

Solution of Practice Questions Lec 1 To 3

This document contains solutions to 9 questions on propositional logic. Question 1 defines logical statements using propositional variables. Question 2 provides a truth table for a compound proposition. Question 3 converts a statement to its inverse, converse, and contrapositive logical forms. Question 4 expresses statements about what Ahmad eats in symbolic logical form. Question 5 shows that a given proposition is true using assigned truth values. Question 6 verifies an equivalence using a truth table. Question 7 leaves the next question for the reader to solve. Question 8 uses De Morgan's laws to negate a statement. Question 9 leaves another question for the reader to solve.

Uploaded by

snowwhite snowhite
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as DOCX, PDF, TXT or read online on Scribd
129 views3 pages

Solution of Practice Questions Lec 1 To 3

This document contains solutions to 9 questions on propositional logic. Question 1 defines logical statements using propositional variables. Question 2 provides a truth table for a compound proposition. Question 3 converts a statement to its inverse, converse, and contrapositive logical forms. Question 4 expresses statements about what Ahmad eats in symbolic logical form. Question 5 shows that a given proposition is true using assigned truth values. Question 6 verifies an equivalence using a truth table. Question 7 leaves the next question for the reader to solve. Question 8 uses De Morgan's laws to negate a statement. Question 9 leaves another question for the reader to solve.

Uploaded by

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

Solution File Lecture No 1-3

Question No 1:

Let p be “I am intelligent” and let q be “I have a book”, Give a simple verbal sentence which
describes each of the following statement:

(a) p
(b) p  q
(c) q  p

Solution:

(a) I am not intelligent


(b) I am intelligent or I have a book
(c) I have a book but I am not intelligent

Question No 2:

Construct a truth table for the compound proposition [ p   ~ p  q ]  q

Solution:

p q ~p ~p →q P^(~p→q) [ p   ~ p  q ]  q
T T F T T T
T F F T T F
F T T T F T
F F T F F T

Question No 3:

Convert into logical form and then write converse, inverse and contra positive of the following
statement.

“If I study, then I shall pass the test”.

Solution:

Inverse: If I do not study, then I shall not pass the test.

Converse: If I shall pass the test then I study.

Contrapositive: if I shall not pass the test then I do not study.


Question No 4:

Let p = “Ahmad eats apple”, q = “Ahmad eats banana” and r = “Ahmad eats grapes”. Write each
of the following in symbolic form:

a) Ahmad eats apple or banana but not grapes.


b) It is not true that Ahmad eats apple but not grapes.
c) It is not true that Ahmad eats apples or bananas but not grapes.

Solution:

i)  p  q  ~ r
ii) ~ ( p ~ r)

iii) ~ ( p q   ~ r )

Question No 5:

Assume that for the truth values p = F and q = T. Show that the proposition
( p  q)  ( p  ( p   q)) is true.

Solution:

p q ~p ~q (p q) (p  ~ q) ~ p (p  ~ q) ( p  q)  ( p  ( p   q))

F T T F F F T T

Hence the given proposition is true.

Question No 6:

Use truth table to verify the statement (how to prove it using laws)

q  ( p  q)  q  (p  q)
Solution:

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

Therefore from column 4&6, q  ( p  q)  q  (p  q) .

Question No 7:

Do it by yourself

Question No 8:

Use De Morgan’s laws to find the negation of

“Ahmad loves football and his brother loves cricket”

Solution:

Let p=Ahmed loves football

q=His brother loves cricket

p  q = Ahmed loves football and His brother loves cricket

Using De Morgan’s law

~ ( p  q) ~ p ~ q =Ahmed does not love football or his brother does not love cricket

Question No 9:

Do it by yourself.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy