Advertisements
Advertisements
By constructing the truth table, determine whether the following statement pattern ls a tautology , contradiction or . contingency. (p → q) ∧ (p ∧ ~ q ).
Concept: Statement Patterns and Logical Equivalence
Examine whether the following statement (p ∧ q) ∨ (∼p ∨ ∼q) is a tautology or contradiction or neither of them.
Concept: Statement Patterns and Logical Equivalence
Using the truth table prove the following logical equivalence.
(p ∨ q) → r ≡ (p → r) ∧ (q → r)
Concept: Statement Patterns and Logical Equivalence
Using the truth table, prove the following logical equivalence.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Concept: Statement Patterns and Logical Equivalence
Inverse of statement pattern (p ∨ q) → (p ∧ q) is ________ .
Concept: Statement Patterns and Logical Equivalence
Using the rules in logic, write the negation of the following:
(p ∨ q) ∧ (q ∨ ∼r)
Concept: Algebra of Statements
If p : He swims
q : Water is warm
Give the verbal statement for the following symbolic statement:
p ↔ ~ q
Concept: Logical Connective, Simple and Compound Statements
If p : He swims
q : Water is warm
Give the verbal statement for the following symbolic statement.
~ (p ∨ q)
Concept: Logical Connective, Simple and Compound Statements
If p : He swims
q : Water is warm
Give the verbal statement for the following symbolic statement.
q → p
Concept: Logical Connective, Simple and Compound Statements
Examine whether the following statement pattern is a tautology, a contradiction or a contingency.
~ p → (p → ~ q)
Concept: Statement Patterns and Logical Equivalence
Choose the correct alternative :
If p : He is intelligent.
q : He is strong
Then, symbolic form of statement “It is wrong that, he is intelligent or strong” is
Concept: Truth Value of Statement
The negation of the proposition “If 2 is prime, then 3 is odd”, is ______.
Concept: Truth Value of Statement
Using the truth table, verify.
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Concept: Statement Patterns and Logical Equivalence
Using the truth table, verify
~(p → ~q) ≡ p ∧ ~ (~ q) ≡ p ∧ q.
Concept: Statement Patterns and Logical Equivalence
Write the negation of the following statement.
∃ n ∈ N, (n2 + 2) is odd number.
Concept: Statement Patterns and Logical Equivalence
Write the negation of the following statement.
Some continuous functions are differentiable.
Concept: Statement Patterns and Logical Equivalence
Write the converse, inverse, and contrapositive of the following statement.
If he studies, then he will go to college.
Concept: Statement Patterns and Logical Equivalence
Construct the truth table for the following statement pattern.
(p ∧ ~ q) ↔ (q → p)
Concept: Statement Patterns and Logical Equivalence
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[(p ∧ q) ∨ (~p)] ∨ [p ∧ (~ q)]
Concept: Statement Patterns and Logical Equivalence
Using the truth table, prove the following logical equivalence.
p ↔ q ≡ ~(p ∧ ~q) ∧ ~(q ∧ ~p)
Concept: Statement Patterns and Logical Equivalence
