Advertisements
Advertisements
Question
Verify whether the following compound propositions are tautologies or contradictions or contingency.
((p v q) ∧¬p) → q
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
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
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
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 and all the angles of a triangle are equal
Determine the truth value of the following statement.
It is not true that 5 + 5 = 9 or Earth is a planet
Construct the truth table for the following statement.
¬P ∧ ¬q
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 → q)
Show that ¬(p → q) ≡ p ∧¬q
Show that p → q and q → p are not equivalent
Show that ¬(p ↔ q) ≡ p ↔ ¬q
Check whether the statement p → (q → p) is a tautology or a contradiction without using the truth table
Prove that p → (¬q v r) ≡ ¬p v (¬q v r) using truth table
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:
The dual of ¬(p v q) v [p v(p ∧ ¬r)] is
Choose the correct alternative:
The proposition p∧(¬p∨q)] is
