Advertisements
Advertisements
Question
Verify whether the following compound propositions are tautologies or contradictions or contingency.
(p ∧ q) ∧¬ (p v q)
Solution
| p | q | p ∧ q | p v q | ¬ (p v q) | (p ∧ q) ∧¬ (p v q) |
| T | T | T | T | F | F |
| T | F | F | T | F | F |
| F | T | F | T | F | F |
| F | F | F | F | T | F |
The entries in the last column are only F.
∴ The given statement is a contradiction
APPEARS IN
RELATED QUESTIONS
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
Write the following sentences in symbolic form using statement variables p and q.
19 is a prime number and all the angles of a triangle are equal
Write the following sentences in symbolic form using statement variables p and q.
19 is not a prime number
Determine the truth value of the following statement.
It is not true that 5 + 5 = 9 or Earth is a planet
Which one of the following sentences is a proposition?
4 + 7 = 12
Which one of the following sentences is a proposition?
Peacock is our national bird
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 → r) ∧ (p ↔ q)
Verify whether the following compound propositions are tautologies or contradictions or contingency.
((p v q) ∧¬p) → q
Prove that q → p ≡ ¬p → ¬q
Show that p → q and q → p are not equivalent
Choose the correct alternative:
The operation * defined by a * b = `"ab"/7` is not a binary operation on
Choose the correct alternative:
Which one is the inverse of the statement (p v q) → (p ∧ q)?
Choose the correct alternative:
Which one is the contrapositive of the statement (p v q) → r?
Choose the correct alternative:
In the last column of the truth table for ¬(p v ¬q) the number of final outcomes of the truth value ‘F’ is
Choose the correct alternative:
The dual of ¬(p v q) v [p v(p ∧ ¬r)] is
Choose the correct alternative:
The proposition p∧(¬p∨q)] is
