How would I be able to do this logical argument? "If today is Friday, then today is the last day of John's work week. Today is Friday."