Advertisements
Advertisements
Question
Prove that the following pair of statement pattern is equivalent.
p ↔ q and (p → q) ∧ (q → p)
Advertisements
Solution
| 1 | 2 | 3 | 4 | 5 | 6 |
| p | q | p↔q | p→q | q→p | (p→q)∧(q→p) |
| T | T | T | T | T | T |
| T | F | F | F | T | F |
| F | T | F | T | F | F |
| F | F | T | T | T | T |
In the above table, entries in columns 3 and 6 are identical.
∴ Statement p ↔ q and (p → q) ∧ (q → p) are equivalent.
APPEARS IN
RELATED QUESTIONS
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 )
Using truth table, examine whether the following statement pattern is tautology, contradiction or contingency: p ∨ [∼(p ∧ q)]
State if the following sentence is a statement. In case of a statement, write down the truth value :
√-4 is a rational number.
By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency. (p → q) ∧ (p ∧ ~ q ).
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) ∨ (p ∨ q)] ∧ r ≡ r
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ q) → (q ∨ p)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[(p → q) ∧ ∼ q] → ∼ p
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ↔ q) ∧ (p → ∼ q)
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[p → (q → r)] ↔ [(p ∧ q) → r]
Prove that the following statement pattern is a contradiction.
(p ∨ q) ∧ (~p ∧ ~q)
Using the truth table, verify
p → (p → q) ≡ ~ q → (p → q)
Write the dual of the following:
~(p ∨ q) ∧ [p ∨ ~ (q ∧ ~ r)]
Using the rules of negation, write the negation of the following:
(p → r) ∧ q
With proper justification, state the negation of the following.
(p → q) ∨ (p → r)
Construct the truth table for the following statement pattern.
(~p ∨ q) ∧ (~p ∧ ~q)
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) → p] ↔ [(~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)
Write the converse, inverse, contrapositive of the following statement.
If 2 + 5 = 10, then 4 + 10 = 20.
State the dual of the following statement by applying the principle of duality.
(p ∧ ~q) ∨ (~ p ∧ q) ≡ (p ∨ q) ∧ ~(p ∧ q)
Write the dual of the following
(p ˄ ∼q) ˅ (∼p ˄ q) ≡ (p ˅ q) ˄ ∼(p ˄ q)
Choose the correct alternative:
If p is any statement, then (p ˅ ~p) is a
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
If p, q are true statements and r, s are false statements, then find the truth value of ∼ [(p ∧ ∼ r) ∨ (∼ q ∨ s)].
