subject

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

ansver
Answers: 1

Another question on Computers and Technology

question
Computers and Technology, 21.06.2019 23:30
Acomputer is a multipurpose device that accepts input, processes data, stores data, and produces output, all according to a series of stored . the processing unit of most modern computers is a(n) . the instructions that tell a computer how to carry out a task are referred to as computer , which are distributed as software. computers run three main types of software: software, system software, and development tools. an example of system software is a computer system, which is essentially the master controller for all the activities that a digital device performs. digital devices are constructed using tiny electronic components that represent data bits as electrical signals. the system unit houses the system board, which contains several circuits made from semiconducting materials. computers come in three popular form factors: component, , and slate. many of today's digital devices operate on battery power supplied by ion batteries. battery life and lifespan can be extended by following good battery management practices.
Answers: 3
question
Computers and Technology, 23.06.2019 02:50
There’s only one game mode that stars with the letter ‘e’ in cs: go. which of the options below is it?
Answers: 1
question
Computers and Technology, 23.06.2019 07:10
If you want to import a picture into a dtp application, what must you do first? draw an image frame. import text. open the folder containing the file. select get image… from the windows menu.
Answers: 2
question
Computers and Technology, 23.06.2019 18:30
Janice recently received her college degree and is looking for a job. she is worried that since she just finished school, she will be required to repay her perkins and direct subsidized loans immediately. janice pulls out the paperwork she signed and reviews it again for repayment information. after reading all of the information, janice discovers that
Answers: 2
You know the right answer?
On April 20, 2017, John and Mary sign the following contract: If it rains on May 1, 2017, then John...
Questions
question
History, 09.09.2020 19:01
Questions on the website: 13722359