example, fastby7 above correctly keeps time.) Formalize the predicate keeps Time 1. A clock is close enough if it always displays a time that’s within two minutes of the correct time. Formalize the...

example, fastby7 above correctly keeps time.) Formalize the predicate keeps Time

1. A clock is close enough if it always displays a time that’s within two minutes of the correct time. Formalize the predicate close Enough.

2.A clock is broken if there’s some fixed time that it always displays, regardless of the real time. Formalize the predicate broken.

3.“Even a broken clock is right twice a day,” they say. (They mean: “even a broken clock displays the correct time at least once per T.”) Formalize the adage and prove it true