This preview shows page 1. Sign up to view the full content.
Unformatted text preview: one year. Is the above statement contradictory? Find out by encoding this statement in logic and checking if it is valid, inconsistent or satisable. 4. If the congress refuses to enact new laws, then the strike will not be over unless it lasts more than one year and the president of the rm resigns. Suppose the congress refuses to act, the strike is over, and the president of the rm does not resign. Has the strike lasted more than one year? 5. Consider the following statements: F1 Tom cannot be a good stduent unless he is smart and his father supports him. F2 Tom is a good student only if his father supports him. Show that F2 is a logical consequence of F1. 1...
View Full Document
- Spring '09