Advertisement

Advertisement

Advertisement

Sum

**Show that the following statement pattern is contingency.**

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

Advertisement

#### Solution

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

T | T | F | F | T | T |

T | F | T | T | F | F |

F | T | F | T | T | F |

F | F | T | T | F | F |

Truth values in the last column are not identical. Hence, it is contingency.

Is there an error in this question or solution?