Advertisements
Advertisements
प्रश्न
Prove that the following statement pattern is equivalent :
(p ∨ q) → r and (p → r) ∧ (q → r)
उत्तर
Truth table given is as follows:
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| p | q | r |
`A=p vv q` |
`B=p->r` |
`C=q->r` |
`A->r` |
`B ^^ C` |
| T | T | T | T | T | T | T | T |
| T | T | F | T | F | F | F | F |
| T | F | T | T | T | T | T | T |
| T | F | F | T | F | T | F | F |
| F | T | T | T | T | T | T | T |
| F | T | F | T | T | F | F | F |
| F | F | T | F | T | T | T | T |
| F | F | F | F | T | T | T | T |
In the above truth table all the entries in the columns of
(p ∨ q) → r and (p → r) ∧ (q → r) are identical.
(p ∨ q) → r ≡ (p → r) ∧ (q → r)
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.”
Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )
Using truth table, examine whether the following statement pattern is tautology, contradiction or contingency: p ∨ [∼(p ∧ q)]
Prove that the following statement pattern is equivalent:
(p v q) → r and (p → r) ∧ (q → r)
Using the truth table prove the following logical equivalence.
∼ (p ∨ q) ∨ (∼ p ∧ q) ≡ ∼ p
Using the truth table prove the following logical equivalence.
p ↔ q ≡ ∼ [(p ∨ q) ∧ ∼ (p ∧ q)]
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)
Prepare truth tables for the following statement pattern.
(p ∧ r) → (p ∨ ~ q)
Prepare truth table for (p ˄ q) ˅ ~ r
(p ∧ q) ∨ ~ r
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(p ∧ ~ q) → (~ p ∧ ~ q)
Show that the following statement pattern is contingency.
(p∧~q) → (~p∧~q)
Using the truth table, verify
p → (p → q) ≡ ~ q → (p → q)
Using the truth table, verify
~(p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
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.
∀ n ∈ N, n + 1 > 0
Write the negation of the following statement.
∃ n ∈ N, (n2 + 2) is odd number.
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) 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 ∨ 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) ∧ (q ∧ r)] ∨ (~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 I do not work hard, then I do not prosper.
State the dual of the following statement by applying the principle of duality.
2 is even number or 9 is a perfect square.
The false statement in the following is ______.
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
The statement pattern (∼ p ∧ q) is logically equivalent to ______.
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ q) → (q ∨ p)
