English

Prove that the following statement pattern is a contradiction. (p → q) ∧ (p ∧ ~ q) - Mathematics and Statistics

Advertisements
Advertisements

Question

Prove that the following statement pattern is a contradiction.

(p → q) ∧ (p ∧ ~ q)

Sum

Solution

p q ~q p→q p∧~q (p→q)∧(p∧~q)
T T F T F F
T F T F T F
F T F T F F
F F T T F F

All the truth values in the last column are F. Hence, it is a contradiction.

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

APPEARS IN

RELATED QUESTIONS

Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.

[(p→q) ∧ q]→p


Express the following statement in symbolic form and write its truth value.

"If 4 is an odd number, then 6 is divisible by 3 "


Prove that the following statement pattern is equivalent :

(p ∨ q) →  r and (p → r) ∧ (q → r)


Write the dual of the following statements:

Madhuri has curly hair and brown eyes.


If p and q are true statements and r and s are false statements, find the truth value of the following :
( p ∧  ∼ r ) ∧ ( ∼ q ∧ s )


If   p : It is raining
     q : It is humid

Write the following statements in symbolic form:

(a) It is raining or humid.
(b) If it is raining then it is humid.
(c) It is raining but not humid. 


Using truth table, examine whether the following statement pattern is tautology, contradiction or contingency: p ∨ [∼(p ∧ q)]


Use the quantifiers to convert the following open sentence defined on N into true statement
5x - 3 < 10


Examine whether the following statement (p ∧ q) ∨ (∼p ∨ ∼q) is a tautology or contradiction or neither of them.


Using the truth table prove the following logical equivalence.

∼ (p ∨ q) ∨ (∼ p ∧ q) ≡ ∼ p


Examine whether the following statement pattern is a tautology or a contradiction or a contingency.

(p ∧ q) → (q ∨ p)


Examine whether the following statement pattern is a tautology or a contradiction or a contingency.

(p → q) ↔ (∼ p ∨ q)


Examine whether the following statement pattern is a tautology or a contradiction or a contingency.

(∼ p → q) ∧ (p ∧ r)


Examine whether the following statement pattern is a tautology or a contradiction or a contingency.

[p → (∼ q ∨ r)] ↔ ∼ [p → (q → r)]


Inverse of statement pattern (p ∨ q) → (p ∧ q) is ________ .


Determine whether the following statement pattern is a tautology, contradiction, or contingency:

[(p ∨ q) ∧ ∼p] ∧ ∼q


Determine whether the following statement pattern is a tautology, contradiction or contingency:

[(p ∨ ∼q) ∨ (∼p ∧ q)] ∧ r


Prepare truth table for (p ˄ q) ˅ ~ r

(p ∧ q) ∨ ~ r


Examine whether the following statement pattern is a tautology, a contradiction or a contingency.

q ∨ [~ (p ∧ q)]


Examine whether the following statement pattern is a tautology, a contradiction or a contingency.

(~ q ∧ p) ∧ (p ∧ ~ p)


Prove that the following statement pattern is a tautology.

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


Prove that the following statement pattern is a contradiction.

(p ∧ q) ∧ ~p


Using the truth table, verify

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


Write the dual of the following:

(p ∨ q) ∨ r


Write the dual statement of the following compound statement.

13 is prime number and India is a democratic country.


Write the dual statement of the following compound statement.

A number is a real number and the square of the number is non-negative.


Write the negation of the following statement.

∀ n ∈ N, n + 1 > 0


Using the rules of negation, write the negation of the following:

(~p ∧ q) ∧ (~q ∨ ~r)


With proper justification, state the negation of the following.

(p → q) ∧ r


Construct the truth table for the following statement pattern.

(p ∧ ~ q) ↔ (q → p)


State the dual of the following statement by applying the principle of duality.

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


State the dual of the following statement by applying the principle of duality.

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


Write the dual of the following.

(~p ∧ q) ∨ (p ∧ ~q) ∨ (~p ∧ ~q)


The false statement in the following is ______.


The statement pattern (∼ p ∧ q) is logically equivalent to ______.


Share
Notifications

Englishहिंदीमराठी


      Forgot password?
Use app×