Exercise 1.6 | Q 3.3 | Page 16

Prove that the following statement pattern is a tautology.

(~p ∧ ~q ) → (p → q)

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

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

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

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

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

All the truth values in the last column are T. Hence, it is a tautology.