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

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

Advertisements
Advertisements

प्रश्न

Prove that the following statement pattern is a tautology.

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

बेरीज

उत्तर

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

All the truth values in the last column are T. Hence, it is a tautology.

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 negation of the following statement : 
If the lines are parallel then their slopes are equal.


State if the following sentence is a statement. In case of a statement, write down the truth value :
Every quadratic equation has only real roots.


Write converse and inverse of the following statement :
"If Ravi is good in logic then Ravi is good in Mathematics."


By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency.  (p →  q) ∧  (p ∧ ~ q ).


Using the truth table prove the following logical equivalence.

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


Using the truth table prove the following logical equivalence.

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


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

∼ (∼ q ∧ p) ∧ q


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

(∼ p → q) ∧ (p ∧ 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) ∨ (p ∨ ∼q) ∨ (∼p ∧ ∼q)


Prepare truth tables for the following statement pattern.

p → (~ p ∨ q)


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

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


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

~ p → (p → ~ q)


Prove that the following statement pattern is a tautology.

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


If p is any statement then (p ∨ ∼p) is a ______.


Using the truth table, verify.

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


Using the truth table, verify

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


Using the truth table, verify

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


Write the dual of the following:

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


Write the dual of the following:

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


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


Write the negation of the following statement.

∃ n ∈ N, (n2 + 2) is odd number.


Write the negation of the following statement.

Some continuous functions are differentiable.


With proper justification, state the negation of the following.

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


Construct the truth table for the following statement pattern.

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


Construct the truth table for the following statement pattern.

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


Construct the truth table for the following statement pattern.

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


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

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


Write the converse and contrapositive of the following statements.

“If a function is differentiable then it is continuous”


Write the dual of the following.

13 is prime number and India is a democratic country


Examine whether the statement pattern

[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.


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)`

If p, q are true statements and r, s are false statements, then find the truth value of ∼ [(p ∧ ∼ r) ∨ (∼ q ∨ s)].


Share
Notifications

Englishहिंदीमराठी


      Forgot password?
Use app×