मराठी
महाराष्ट्र राज्य शिक्षण मंडळएचएससी वाणिज्य (इंग्रजी माध्यम) इयत्ता १२ वी

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

Advertisements
Advertisements

प्रश्न

Prove that the following statement pattern is a contradiction.

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

बेरीज

उत्तर

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
  या प्रश्नात किंवा उत्तरात काही त्रुटी आहे का?
पाठ 1: Mathematical Logic - Exercise 1.6 [पृष्ठ १६]

APPEARS IN

संबंधित प्रश्‍न

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

[(p→q) ∧ q]→p


Write the converse and contrapositive of the statement -
“If two triangles are congruent, then their areas are equal.”


Write the dual of the following statements: (p ∨ q) ∧ T


Write converse and inverse of the following statement: 
“If a man is a bachelor then he is unhappy.” 


Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )


Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3."


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


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

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


(p ∧ q) → r is logically equivalent to ________.


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

[(p ∧ (p → q)] → q


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

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


Prepare truth tables for the following statement pattern.

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


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

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


Prove that the following statement pattern is a tautology.

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


Prove that the following statement pattern is a contradiction.

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


Show that the following statement pattern is contingency.

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


Using the truth table, verify

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


Prove that the following pair of statement pattern is equivalent.

p ↔ q and (p → q) ∧ (q → p)


Write the dual of the following:

p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r


Write the negation of the following statement.

All the stars are shining if it is night.


With proper justification, state the negation of the following.

(p ↔ q) v (~ q → ~ r)


Construct the truth table for the following statement pattern.

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


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

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


Using the truth table, prove the following logical equivalence.

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)


Using the truth table, prove the following logical equivalence.

p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)


Write the converse, inverse, contrapositive of the following statement.

If 2 + 5 = 10, then 4 + 10 = 20.


Write the converse, inverse, contrapositive of the following statement.

If a man is bachelor, then he is happy.


Write the converse, inverse, contrapositive of the following statement.

If I do not work hard, then I do not prosper.


Write the dual of the following.

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)


Write the converse and contrapositive of the following statements.

“If a function is differentiable then it is continuous”


Choose the correct alternative:

If p → q is an implication, then the implication ~q → ~p is called its


If p → (∼p v q) is false, then the truth values of p and q are respectively


Which of the following is not equivalent to p → q.


Write the negation of the following statement:

(p `rightarrow` q) ∨ (p `rightarrow` r)


In the triangle PQR, `bar(PQ) = 2bara and bar(QR)` = `2 bar(b)` . The mid-point of PR is M. Find following vectors in terms of `bar(a) and bar(b)` .

  1. `bar(PR)`  
  2. `bar(PM)`
  3. `bar(QM)`

Share
Notifications

Englishहिंदीमराठी


      Forgot password?
Use app×