1 / 1

Tom’s Evening Domain

If there is a good movie on TV and Tom doesn't have an early appointment the next morning, then he stays home and watches a late movie. If Tom needs to work and doesn't have an early appointment the next morning, then he works late.

zach
Download Presentation

Tom’s Evening Domain

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. If there is a good movie on TV and Tom doesn't have an early appointment the next morning, then he stays home and watches a late movie. If Tom needs to work and doesn't have an early appointment the next morning, then he works late. If Tom works and needs his reference materials, then he works at his office. If Tom works late at his office, then he returns to his office. If Tom watches a late movie or works late, then he stays up late. Assume: Tom needs to work, doesn't have an early appointment, and needs his reference materials. Prove: Tom returns to his office and stays up late. Tom’s Evening Domain

More Related