tautology, contradiction, contingency, duality, negation of compound statement, contrapositive, converse, inverse
- Mathematical Logic - Statement Patterns and Logical Equivalence
Examine whether the following logical statement pattern is tautology, contradiction or contingency.
[(p → q) ∧ q] → p
Using truth table examine whether the following statement pattern is tautology, contradiction or contingency `(p^^~q) harr (p->q)`
Write the converse and contrapositive of the statement — “If two triangles are congruent, then their areas are equal.”
Express the following statement in symbolic form and write its truth value.
"If 4 is an odd number, then 6 is divisible by 3 "