Advertisements
Advertisements
Question
Using the truth table, verify
~(p → ~q) ≡ p ∧ ~ (~ q) ≡ p ∧ q
Solution
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| p | q | ~q | p→~q |
~(p→~q) |
~(~q) | p∧~(~q) | p∧q |
| T | T | F | F | T | T | T | T |
| T | F | T | T | F | F | F | F |
| F | T | F | T | F | T | F | F |
| F | F | T | T | F | F | F | F |
In the above table, entries in columns 5, 7, and 8 are identical.
∴ ~(p → ~q) ≡ p ∧ ~ (~ q) ≡ p ∧ q
APPEARS IN
RELATED QUESTIONS
Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.
[(p→q) ∧ q]→p
Prove that the following statement pattern is equivalent :
(p ∨ q) → r and (p → r) ∧ (q → r)
Write the dual of the following statements:
Madhuri has curly hair and brown eyes.
Write converse and inverse of the following statement:
“If a man is a bachelor then he is unhappy.”
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)]
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
5x - 3 < 10
State if the following sentence is a statement. In case of a statement, write down the truth value :
√-4 is a rational number.
Using the truth table prove the following logical equivalence.
p → (q ∧ r) ≡ (p ∧ q) (p → r)
Using the truth table proves the following logical equivalence.
∼ (p ↔ q) ≡ (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 ∧ r)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[p → (∼ q ∨ r)] ↔ ∼ [p → (q → r)]
(p ∧ q) → r is logically equivalent to ________.
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) ∨ (∼p ∧ q)] ∧ r
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 ∧ 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)
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) ≡ ~ p ∨ ~ q
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.
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) → 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 ≡ [(p ∨ q)] ∧ ~p
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.
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p ∧ q) → (q ∨ p)
