Advertisements
Advertisements
Question
Verify whether the following compound propositions are tautologies or contradictions or contingency.
((p v q) ∧¬p) → q
Advertisements
Solution
| p | q | p v q | ¬p | (p v q) ∧¬p) | ((p v q) ∧¬p) → q |
| T | T | T | F | F | T |
| T | F | T | F | F | T |
| F | T | T | T | T | T |
| F | F | F | T | F | T |
The entries in the last column are only T.
∴ The given statement is a Tautology
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
Determine the truth value of the following statement.
11 is a prime number and all the sides of a rectangle are equal
Which one of the following sentences is a proposition?
3n ≤ 81, n ∈ N
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
Construct the truth table for the following statement.
¬P ∧ ¬q
Construct the truth table for the following statement.
¬(P ∧ ¬q)
Construct the truth table for the following statement.
(p v q) v ¬q
Verify whether the following compound propositions are tautologies or contradictions or contingency.
(p ∧ q) ∧¬ (p v q)
Show that p → q and q → p are not equivalent
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:
Which one of the following statements has the truth value T?
Choose the correct alternative:
Which one of the following statements has truth value F?
Choose the correct alternative:
If a compound statement involves 3 simple statements, then the number of rows in the truth table is
Choose the correct alternative:
Which one is the contrapositive of the statement (p v q) → r?
Choose the correct alternative:
Which one of the following is not true?
