English

If p and q are true and r and s are false, find the truth value of the following compound statement. (p → q) ↔ ~(p ∨ q) - Mathematics and Statistics

Advertisements
Advertisements

Question

If p and q are true and r and s are false, find the truth value of the following compound statement.

(p → q) ↔ ~(p ∨ q)

Sum
Advertisements

Solution

(p → q) ↔ ~(p ∨ q) ≡ (T → T) ↔ (T ∨ T)

≡ T ↔ ~ T

≡ T ↔ F

≡ F

Hence, truth value if F.

shaalaa.com
  Is there an error in this question or solution?
Chapter 1: Mathematical Logic - Exercise 1.4 [Page 11]

APPEARS IN

Video TutorialsVIEW ALL [2]

RELATED QUESTIONS

Using truth table prove that p ↔ q = (p ∧ q) ∨ (~p ∧ ~q).


Write the following compound statement symbolically.

The angle is right angle if and only if it is of measure 90°.


Express the following statement in symbolic form.

e is a vowel or 2 + 3 = 5


Write the truth value of the following statement.

A quadratic equation has two distinct roots or 6 has three prime factors.


Write the truth value of the following statement.

The Himalayas are the highest mountains but they are part of India in the North East.


Find the truth value of the following statement.

Every accountant is free to apply his own accounting rules if and only if machinery is an asset.


If p and q are true and r and s are false, find the truth value of the following compound statement.

~ [p ∨ (r ∧ s)] ∧ ~ [(r ∧ ~ s) ∧ q]


Assuming that the following statement is true,

p : Sunday is holiday,

q : Ram does not study on holiday,

find the truth values of the following statements.

Sunday is not holiday or Ram studies on holiday.


Assuming that the following statement is true,

p : Sunday is holiday,

q : Ram does not study on holiday,

find the truth values of the following statements.

If Sunday is not holiday then Ram studies on holiday.


If p : He swims

q : Water is warm

Give the verbal statement for the following symbolic statement.

q → p


Fill in the blanks :

Conjunction of two statement p and q is symbolically written as ______.


Assuming the first statement p and second as q. Write the following statement in symbolic form.

The Sun has set and Moon has risen.


Assuming the first statement p and second as q. Write the following statement in symbolic form.

Kavita is brilliant and brave.


Assuming the first statement p and second as q. Write the following statement in symbolic form.

To be brave is necessary and sufficient condition to climb the Mount Everest.


Rewrite the following statement without using conditional –
(Hint : p → q ≡ ∼ p ∨ q)

If price increases, then demand falls.


Write the negation of the following.

Ramesh is intelligent and he is hard working.


Write the negation of the following.

An angle is a right angle if and only if it is of measure 90°.


Write the negation of the following.

Kanchanganga is in India and Everest is in Nepal.


Rewrite the following statement without using the connective ‘If ... then’.

If a quadrilateral is rhombus then it is not a square.


Rewrite the following statement without using the connective ‘If ... then’.

If 10 − 3 = 7 then 10 × 3 ≠ 30.


Rewrite the following statement without using the connective ‘If ... then’.

If it rains then the principal declares a holiday.


Write the negation of the following statement.

7 is prime number and Tajmahal is in Agra.


Write the negation of the following statement.

∃ x ∈ A, such that x + 5 < 11.


The negation of the statement (p ˄ q) `→` (r ˅ ∼ p) is ______.


Write the following compound statements symbolically.

Triangle is equilateral or isosceles


Choose the correct alternative:

A biconditional statement is the conjunction of two ______ statements


The symbolic form of the following circuit is (where p, q represents switches S1 and S2 closed respectively)


The logical statement (∼p → q) ∧ (q → p) is equivalent to: ______ 


Conditional of p → q is equivalent to p → ∼ q.


Using truth table prove that:

~ (p `leftrightarrow` q) ≡ (p ∧ ~ q) ∨ (q ∧ ~ p)


Share
Notifications

Englishहिंदीमराठी


      Forgot password?
Use app×