Advertisements
Advertisements
प्रश्न
Prove that the following statement pattern is equivalent :
(p ∨ q) → r and (p → r) ∧ (q → r)
Advertisements
उत्तर
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
संबंधित प्रश्न
Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )
Use the quantifiers to convert the following open sentence defined on N into true statement
5x - 3 < 10
Use the quantifiers to convert the following open sentence defined on N into true statement:
x2 ≥ 1
Write converse and inverse of the following statement :
"If Ravi is good in logic then Ravi is good in Mathematics."
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 → q) ∨ (q → p)
Prepare truth tables for the following statement pattern.
(p ∧ r) → (p ∨ ~ q)
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ (~p ∨ ~q)
Show that the following statement pattern is contingency.
p ∧ [(p → ~ q) → q]
Using the truth table, verify
~(p → ~q) ≡ p ∧ ~ (~ q) ≡ p ∧ q.
Using the truth table, verify
~(p ∨ q) ∨ (~ p ∧ q) ≡ ~ p
Write the dual statement of the following compound statement.
A number is a real number and the square of the number is non-negative.
Using the rules of negation, write the negation of the following:
~(p ∨ q) → r
Write the converse, inverse, and contrapositive of the following statement.
"If it snows, then they do not drive the car"
Using the truth table, prove the following logical equivalence.
[~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
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 ______.
