subject
Engineering, 06.05.2020 08:40 annie1799

From each of the following english sttements (1) translate into predicate logic, (2) write the nagation of that statement in predicate logic with the negation symbols pushed as far in as possible so that any neggation symbols are directly in front of a predicate, and then (3) write a natural traslation of (2) to english .

For the logic, let your domain of discourse be programs and values. You should use only the predicates Accepts(x, y) and Returns(x, y) which say that a program z accepts a value y as input or that returns y as output; the predicates Program(x) and Value(2), which say whether is a program or a value (respectively); and the predicates r=y and r y, which say whether I and y are the same object

(a) [6 points) "Hello" is the only value that the program HelloWorld returns.
(b) [6 points) There is a value that is accepted by some program but returned by all programs.
(c) [6 points) Programs that return "Hello" don't accept some value.

ansver
Answers: 1

Another question on Engineering

question
Engineering, 03.07.2019 15:10
Two flowing streams of argon gas are adiabatically mixed to form a single flow/stream. one stream is 1.5 kg/s at 400 kpa and 200 c while the second stream is 2kg/s at 500 kpa and 100 ? . it is stated that the exit state of the mixed single flow of argon gas is 150 c and 300 kpa. assuming there is no work output or input during the mixing process, does this process violate either the first or the second law or both? explain and state all your assumptions.
Answers: 1
question
Engineering, 04.07.2019 18:10
An air conditioning system consist of a 5 cm diameter pipe, operating at a pressure of 200 kpa. the air initially enters the pipe at 15°c with a velocity of 20 m/s and relative humidity of 80%. if the heat supply throughout the process is 960 w, determine the relative humidity and the temperature at the outlet
Answers: 3
question
Engineering, 04.07.2019 19:10
What is the main objective of using reheat rankine cycle?
Answers: 3
question
Engineering, 04.07.2019 19:10
Tom is having a problem with his washing machine. he notices that the machine vibrates violently at a frequency of 1500 rpm due to an unknown rotating unbalance. the machine is mounted on 4 springs each having a stiffness of 10 kn/m. tom wishes to add an undamped vibration absorber attached by a spring under the machine the machine working frequency ranges between 800 rpm to 2000 rpm and its total mass while loaded is assumed to be 80 kg a) what should be the mass of the absorber added to the machine so that the natural frequency falls outside the working range? b) after a first trial of an absorber using a mass of 35 kg, the amplitude of the oscillation was found to be 10 cm. what is the value of the rotating unbalance? c) using me-3.5 kg.m, find the optimal absorber (by minimizing its mass). what would be the amplitude of the oscillation of the absorber?
Answers: 3
You know the right answer?
From each of the following english sttements (1) translate into predicate logic, (2) write the nagat...
Questions
question
Mathematics, 15.07.2019 15:30
question
Computers and Technology, 15.07.2019 15:30
Questions on the website: 13722359