Advertisements
Advertisements
Question
Write the negation of the following statement:
(p `rightarrow` q) ∨ (p `rightarrow` r)
Advertisements
Solution
∼[(p `rightarrow` q) ∨ (p `rightarrow` r)]
∼(p `rightarrow` q) ∧ ∼(p `rightarrow` r)
(p ∧ ∼q) ∧ (p ∧ ∼r)
p ∧ (∼q ∧ ∼r)
p ∧ ∼(q ∨ r)
APPEARS IN
RELATED QUESTIONS
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (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 )
Use the quantifiers to convert the following open sentence defined on N into true statement:
x2 ≥ 1
Write the negation of the following statement :
If the lines are parallel then their slopes are equal.
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Using the truth table, prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Determine whether the following statement pattern is a tautology, contradiction or contingency:
[(p ∧ (p → q)] → 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)
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]
Show that the following statement pattern is contingency.
(p → q) ∧ (p → r)
Prove that the following pair of statement pattern is equivalent.
p → q and ~ q → ~ p and ~ p ∨ q
Write the dual of the following:
(p ∨ q) ∨ r
Write the dual of the following:
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Construct the truth table for the following statement pattern.
(~p ∨ q) ∧ (~p ∧ ~q)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[(~p ∧ q) ∧ (q ∧ r)] ∨ (~q)
Using the truth table, prove the following logical equivalence.
[~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ 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.
(p ∧ ~q) ∨ (~ p ∧ q) ≡ (p ∨ q) ∧ ~(p ∧ q)
Write the converse and contrapositive of the following statements.
“If a function is differentiable then it is continuous”
If p → (∼p v q) is false, then the truth values of p and q are respectively
The equivalent form of the statement ~(p → ~ q) is ______.
Which of the following is not true for any two statements p and q?
Determine whether the following statement pattern is a tautology, contradiction, or contingency:
[(∼ p ∧ q) ∧ (q ∧ r)] ∧ (∼ q)
If p → q is true and p ∧ q is false, then the truth value of ∼p ∨ q is ______
Prepare truth table for the statement pattern `(p -> q) ∨ (q -> p)` and show that it is a tautology.
