Advertisements
Advertisements
Question
Write the negation of the following statement.
All the stars are shining if it is night.
Advertisements
Solution
Let q : All stars are shining.
p : It is night.
The given statement in symbolic form is p → q.
It’s negation is ~ (p → q) ≡ p ∧ ~ q
∴ The negation of a given statement is 'It is night and some stars are not shining'.
Notes
The answer in the textbook is incorrect.
APPEARS IN
RELATED QUESTIONS
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3."
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
(p → q) ↔ (∼ p ∨ q)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[p → (∼ q ∨ r)] ↔ ∼ [p → (q → r)]
Determine whether the following statement pattern is a tautology, contradiction or contingency:
(p ∧ q) ∨ (∼p ∧ q) ∨ (p ∨ ∼q) ∨ (∼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.
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 ∨ ~q)
Prove that the following statement pattern is a contradiction.
(p → q) ∧ (p ∧ ~ q)
Show that the following statement pattern is contingency.
(p → q) ↔ (~ p ∨ q)
Show that the following statement pattern is contingency.
p ∧ [(p → ~ q) → q]
Write the dual of the following:
(p ∨ q) ∨ r
Write the dual of the following:
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Write the negation of the following statement.
Some continuous functions are differentiable.
Construct the truth table for the following statement pattern.
(p ∧ ~ q) ↔ (q → p)
Construct the truth table for the following statement pattern.
(p ∧ r) → (p ∨ ~q)
Using the truth table, prove the following logical equivalence.
[~(p ∨ q) ∨ (p ∨ q)] ∧ r ≡ r
Write the converse, inverse, contrapositive of the following statement.
If 2 + 5 = 10, then 4 + 10 = 20.
Choose the correct alternative:
If p is any statement, then (p ˅ ~p) is a
If p → (∼p v q) is false, then the truth values of p and q are respectively
Which of the following is not equivalent to p → q.
The equivalent form of the statement ~(p → ~ q) is ______.
Which of the following is not true for any two statements p and q?
The statement pattern (∼ p ∧ q) is logically equivalent to ______.
Prepare truth table for the statement pattern `(p -> q) ∨ (q -> p)` and show that it is a tautology.
