Advertisements
Advertisements
Question
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3 "
Solution
Let p:4 is an odd number
q:6 is divisible by 3
Thus symbolic form of the given statement is p → q
Clearly truth values of p is F and q is T.
Truth value of p → q is F → T ≡ T
APPEARS IN
RELATED QUESTIONS
Examine whether the following logical statement pattern is a tautology, contradiction, or contingency.
[(p→q) ∧ q]→p
Write the dual of the following statements:
Madhuri has curly hair and brown eyes.
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)]
Use the quantifiers to convert the following open sentence defined on N into true statement
5x - 3 < 10
Prove that the following statement pattern is equivalent:
(p v q) → r and (p → r) ∧ (q → r)
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 ∧ 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)
Determine whether the following statement pattern is a tautology, contradiction or contingency:
(p ∧ q) ∨ (∼p ∧ q) ∨ (p ∨ ∼q) ∨ (∼p ∧ ∼q)
Prepare truth tables for the following statement pattern.
p → (~ p ∨ q)
Prepare truth tables for the following statement pattern.
(~ p ∨ q) ∧ (~ p ∨ ~ q)
Prepare truth tables for the following statement pattern.
(p ∧ r) → (p ∨ ~ q)
Prove that the following statement pattern is a tautology.
(p ∧ q) → 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
Show that the following statement pattern is contingency.
p ∧ [(p → ~ q) → q]
Write the dual of the following:
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Write the negation of the following statement.
All the stars are shining if it is night.
Write the negation of the following statement.
∃ n ∈ N, (n2 + 2) is odd number.
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"
With proper justification, state the negation of the following.
(p → q) ∨ (p → r)
With proper justification, state the negation of the following.
(p ↔ q) v (~ 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) ∨ (~p)] ∨ [p ∧ (~ 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) → p] ↔ [(~p) ∧ (~q)]
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[p → (~q ∨ r)] ↔ ~[p → (q → r)]
State the dual of the following statement by applying the principle of duality.
2 is even number or 9 is a perfect square.
The false statement in the following is ______.
Examine whether the statement pattern
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.
The statement pattern (∼ p ∧ q) is logically equivalent to ______.
If p → q is true and p ∧ q is false, then the truth value of ∼p ∨ q is ______
The converse of contrapositive of ∼p → q is ______.
