tautology, contradiction, contingency, duality, negation of compound statement, contrapositive, converse, inverse
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.”