Advertisements
Advertisements
Verify whether the following compound propositions are tautologies or contradictions or contingency.
((p → q) ∧ (q → r)) → (p → r)
Concept: undefined >> undefined
Show that (p ∧ q) ≡ ¬p v ¬q
Concept: undefined >> undefined
Advertisements
Show that ¬(p → q) ≡ p ∧¬q
Concept: undefined >> undefined
Prove that q → p ≡ ¬p → ¬q
Concept: undefined >> undefined
Show that p → q and q → p are not equivalent
Concept: undefined >> undefined
Show that ¬(p ↔ q) ≡ p ↔ ¬q
Concept: undefined >> undefined
Check whether the statement p → (q → p) is a tautology or a contradiction without using the truth table
Concept: undefined >> undefined
Using the truth table check whether the statements ¬(p v q) v (¬p ∧ q) and ¬p are logically equivalent
Concept: undefined >> undefined
Prove p → (q → r) ≡ (p ∧ q) → r without using the truth table
Concept: undefined >> undefined
Prove that p → (¬q v r) ≡ ¬p v (¬q v r) using truth table
Concept: undefined >> undefined
Choose the correct alternative:
The operation * defined by a * b = `"ab"/7` is not a binary operation on
Concept: undefined >> undefined
Choose the correct alternative:
Which one of the following statements has the truth value T?
Concept: undefined >> undefined
Choose the correct alternative:
Which one of the following statements has truth value F?
Concept: undefined >> undefined
Choose the correct alternative:
If a compound statement involves 3 simple statements, then the number of rows in the truth table is
Concept: undefined >> undefined
Choose the correct alternative:
Which one is the inverse of the statement (p v q) → (p ∧ q)?
Concept: undefined >> undefined
Choose the correct alternative:
Which one is the contrapositive of the statement (p v q) → r?
Concept: undefined >> undefined
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?
Concept: undefined >> undefined
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
Concept: undefined >> undefined
Choose the correct alternative:
Which one of the following is incorrect? For any two propositions p and q, we have
Concept: undefined >> undefined
Choose the correct alternative:
| p | q | (p ∧ q) → ¬p |
| T | T | (a) |
| T | F | (b) |
| F | T | (c) |
| F | F | (d) |
Which one of the following is correct for the truth value of (p ∧ q) → ¬p
Concept: undefined >> undefined
