English

Examine whether the following statement pattern is a tautology or a contradiction or a contingency. (p ∧ ∼ q) ↔ (p → q) - Mathematics and Statistics

Advertisements
Advertisements

Question

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

(p ∧ ∼ q) ↔ (p → q)

Sum
Advertisements

Solution

p q ∼ q p ∧ ∼ q p → q (p ∧ ∼ q) ↔ (p → q)
T T F F T F
T F T T F F
F T F F T F
F F T F T F

All the entries in the last column of the above truth table are F.
∴ (p ∧ ∼ q) ↔ (p → q) is a contradiction.
[Note: Answer in the textbook is incorrect]

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

Video TutorialsVIEW ALL [1]

RELATED QUESTIONS

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 )


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 )


Show that the following statement pattern in contingency : 

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


Use the quantifiers to convert the following open sentence defined on N into true statement:
x2 ≥ 1


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.


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 ∧ r) ≡ (p → q) ∧ (p → r)


Using the truth table prove the following logical equivalence.

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


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

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


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 → r)] ↔ [(p ∧ q) → r]


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) ∨ (q → 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) → 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 → r)


Using the truth table, verify.

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


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)


Prove that the following pair of statement pattern is equivalent.

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


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 converse, inverse, and contrapositive of the following statement.

If he studies, then he will go to college.


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) ↔ (q → p)


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)


What is tautology? What is contradiction?
Show that the negation of a tautology is a contradiction and the negation of a contradiction is a tautology.


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

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


Using the truth table, prove the following logical equivalence.

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


Write the dual of the following.

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


Express the truth of the following statement by the Venn diagram.

Some members of the present Indian cricket are not committed.


Write the dual of the following

(p ˄ ∼q) ˅ (∼p ˄ q) ≡ (p ˅ q) ˄ ∼(p ˄ q)


Complete the truth table.

p q r q → r r → p (q → r) ˅ (r → p)
T T T T `square` T
T T F F `square` `square`
T F T T `square` T
T F F T `square` `square`
F T T `square` F T
F T F `square` T `square`
F F T `square` F T
F F F `square` T `square`

The given statement pattern is a `square`


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


Write the negation of the following statement:

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


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

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


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×