Advertisements
Advertisements
Question
Construct the truth table for the following statement pattern.
(p ∨ r) → ~(q ∧ r)
Advertisements
Solution
| p | q | r | p∨r | q∧r | ~q∧r) | (p∨r)→~(q ∧ r) |
| T | T | T | T | T | F | F |
| T | T | F | T | F | T | T |
| T | F | T | T | F | T | T |
| T | F | F | T | F | T | T |
| F | T | T | T | T | F | F |
| F | T | F | F | F | T | T |
| F | F | T | T | F | T | T |
| F | F | F | F | F | T | T |
APPEARS IN
RELATED QUESTIONS
Write converse and inverse of the following statement:
“If a man is a bachelor then he is unhappy.”
If p : It is raining
q : It is humid
Write the following statements in symbolic form:
(a) It is raining or humid.
(b) If it is raining then it is humid.
(c) It is raining but not humid.
Use the quantifiers to convert the following open sentence defined on N into true statement
5x - 3 < 10
Write the negation of the following statement :
If the lines are parallel then their slopes are equal.
State if the following sentence is a statement. In case of a statement, write down the truth value :
√-4 is a rational number.
By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency. (p → q) ∧ (p ∧ ~ q ).
Using the truth table prove the following logical equivalence.
∼ (p ∨ q) ∨ (∼ p ∧ q) ≡ ∼ p
Using the truth table prove the following logical equivalence.
p → (q → p) ≡ ∼ p → (p → q)
Using the truth table proves the following logical equivalence.
∼ (p ↔ q) ≡ (p ∧ ∼ q) ∨ (q ∧ ∼ p)
Examine whether the following statement pattern is a tautology or a contradiction or a contingency.
[(p → q) ∧ ∼ q] → ∼ p
(p ∧ q) → r is logically equivalent to ________.
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
(~ q ∧ p) ∧ (p ∧ ~ p)
Prove that the following statement pattern is a tautology.
(~p ∧ ~q ) → (p → q)
Prove that the following statement pattern is a contradiction.
(p ∨ q) ∧ (~p ∧ ~q)
If p is any statement then (p ∨ ∼p) is a ______.
Show that the following statement pattern is contingency.
(p → q) ∧ (p → r)
Prove that the following pair of statement pattern is equivalent.
~(p ∧ q) and ~p ∨ ~q
Write the dual of the following:
~(p ∧ q) ≡ ~ p ∨ ~ q
Using the rules of negation, write the negation of the following:
(p → r) ∧ q
Construct the truth table for the following statement pattern.
(~p ∨ q) ∧ (~p ∧ ~q)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[(~p ∧ q) ∧ (q ∧ r)] ∨ (~q)
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[~(p ∨ q) → p] ↔ [(~p) ∧ (~q)]
Write the dual of the following.
(~p ∧ q) ∨ (p ∧ ~q) ∨ (~p ∧ ~q)
Write the dual of the following.
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Write the dual of the following
(p ˄ ∼q) ˅ (∼p ˄ q) ≡ (p ˅ q) ˄ ∼(p ˄ q)
The contrapositive of p → ~ q is ______
Complete the truth table.
| p | q | r | q → r | r → p | (q → r) ˅ (r → p) |
| T | T | T | T | `square` | T |
| T | T | F | F | `square` | `square` |
| T | F | T | T | `square` | T |
| T | F | F | T | `square` | `square` |
| F | T | T | `square` | F | T |
| F | T | F | `square` | T | `square` |
| F | F | T | `square` | F | T |
| F | F | F | `square` | T | `square` |
The given statement pattern is a `square`
Which of the following is not true for any two statements p and q?
Prepare truth table for the statement pattern `(p -> q) ∨ (q -> p)` and show that it is a tautology.
