On April 20, 2017, John and Mary sign the following contract: If it rains on May 1, 2017, then John must give Mary a check for $10,000 on May 2, 2017
If John gives Mary a check for $10,000 on May 2, 2017, Mary must mow the lawn on May 3, 2017.
What truly happened those days is the following:
it did not rain on May 1, 2017
John gave Mary a check for $10,000 on May 2, 2017
Mary mowed the lawn on May 3, 2017.
Part a: Write a propositional-logic statement to express the contract. Make sure that, for each symbol that you use, you clearly define what that symbol stands for.
Part b: Write a logical statement to express what truly happened. When possible, use the same symbols as in question 4a. If you need to define any new symbols, clearly define what those new symbols stand for.
Part c: Was the contract violated or not, Justify your answer