#### Question

Examine whether the following logical statement pattern is tautology, contradiction or contingency.

[(p → q) ∧ q] → p

#### Solution

Consider the statement pattern: [(p → q) ∧ q] → p

Thus the truth table of the given logical statement: [(p → q) ∧ q] → p

p | q | p → q | (p → q) ∧ q | [(p → q) ∧ q] → p |

T | T | T | T | T |

T | F | F | F | T |

F | T | T | T | F |

F | F | T | F | T |

From the above truth table we can say that given logical statement: [(p → q) ∧ q] → p is contingency.

Is there an error in this question or solution?

#### APPEARS IN

Solution for question: Examine whether the following logical statement pattern is tautology, contradiction or contingency. [(p → q) ∧ q] → p concept: Mathematical Logic - Statement Patterns and Logical Equivalence. For the courses HSC Science (Computer Science), HSC Science (Electronics), HSC Science (General) , HSC Arts, HSC Commerce (Marketing and Salesmanship), HSC Commerce