Advertisements
Advertisements
Question
Using the truth table, verify
p → (p → q) ≡ ~ q → (p → q)
Advertisements
Solution
| 1 | 2 | 3 | 4 | 5 | 6 |
| p | q | ~q | p→q | p→(p→q) | ~q→(p→q) |
| T | T | F | T | T | T |
| T | F | T | F | F | F |
| F | T | F | T | T | T |
| F | F | T | T | T | T |
In the above truth table, entries in columns 5 and 6 are identical.
∴ p → (p → q) ≡ ~ q → (p → q)
APPEARS IN
RELATED QUESTIONS
Prove that the following statement pattern is equivalent :
(p ∨ q) → r and (p → r) ∧ (q → r)
Prove that the following statement pattern is a tautology : ( q → p ) v ( p → q )
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)]
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) ∧ ∼ q] → ∼ p
Inverse of statement pattern (p ∨ q) → (p ∧ q) is ________ .
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[p → (q → r)] ↔ [(p ∧ q) → r]
Prepare truth tables for the following statement pattern.
p → (~ p ∨ q)
Prepare truth tables for the following statement pattern.
(~ p ∨ q) ∧ (~ p ∨ ~ q)
Prove that the following statement pattern is a tautology.
(p → q) ↔ (~ q → ~ p)
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)
Prove that the following statement pattern is a contradiction.
(p ∧ q) ∧ ~p
Using the truth table, verify.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Using the truth table, verify
~(p → ~q) ≡ 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 ~ q → ~ p and ~ p ∨ q
Using the rules of negation, write the negation of the following:
(p → r) ∧ q
Write the converse, inverse, and contrapositive of the following statement.
"If it snows, then they do not drive the car"
Write the converse, inverse, and contrapositive of the following statement.
If he studies, then he will go to college.
Construct the truth table for the following statement pattern.
(p ∨ ~q) → (r ∧ p)
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
State the dual of the following statement by applying the principle of duality.
(p ∧ ~q) ∨ (~ p ∧ q) ≡ (p ∨ q) ∧ ~(p ∧ q)
Choose the correct alternative:
If p → q is an implication, then the implication ~q → ~p is called its
Using truth table verify that:
(p ∧ q)∨ ∼ q ≡ p∨ ∼ q
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(∼ p ∧ q) ∧ (q ∧ r)] ∧ (∼ q)
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) → (q ∨ p)
If p, q are true statements and r, s are false statements, then find the truth value of ∼ [(p ∧ ∼ r) ∨ (∼ q ∨ s)].
