Advertisements
Advertisements
Question
Write the following sentences in symbolic form using statement variables p and q.
19 is not a prime number
Advertisements
Solution
Let p: 19 is a prime number
q: All the angles of a triangle are equal
19 is not a prime number ⇒ ¬p
APPEARS IN
RELATED QUESTIONS
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
P ∧ ¬q
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
¬p v q
Let p : Jupiter is a planet and q : India is an island be any two simple statements. Give verbal sentence describing the following statement.
p → ¬q
Write the following sentences in symbolic form using statement variables p and q.
19 is a prime number or all the angles of a triangle are not equal
Which one of the following sentences is a proposition?
Peacock is our national bird
Which one of the following sentences is a proposition?
How tall this mountain is!
Write the converse, inverse, and contrapositive of the following implication.
If x and y are numbers such that x = y, then x2 = y2
Write the converse, inverse, and contrapositive of the following implication.
If a quadrilateral is a square then it is a rectangle
Construct the truth table for the following statement.
¬P ∧ ¬q
Verify whether the following compound propositions are tautologies or contradictions or contingency.
(p ∧ q) ∧¬ (p v q)
Show that ¬(p → q) ≡ p ∧¬q
Show that ¬(p ↔ q) ≡ p ↔ ¬q
Prove p → (q → r) ≡ (p ∧ q) → r without using the truth table
Prove that p → (¬q v r) ≡ ¬p v (¬q v r) using truth table
Choose the correct alternative:
The operation * defined by a * b = `"ab"/7` is not a binary operation on
Choose the correct alternative:
The truth table for (p ∧ q) v ¬q is given below
| p | q | (p ∧ q) v ¬q |
| T | T | (a) |
| T | F | (b) |
| F | T | (c) |
| F | F | (d) |
Which one of the following is true?
Choose the correct alternative:
The proposition p∧(¬p∨q)] is
