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.

Please go through the explanation section.

Explanation:

(a) Returns(HelloWorld, Hello)

Negation: ~Returns(HelloWorld, Hello)

English translation of negation: The program HelloWorld does not return the value Hello.

(b) ∃x ∃y ∀z, Accepts(y, x) ^ Returns(z, x)

Negation: ∀x ∀y ∃z, ~Accepts(y, x) v ~Returns(z, x)

English translation of negation: For all values x and all programs y, there exists a program z such that Program y does not accept value x or Program z does not return value x.

(c) ∀x ∃y, Returns(x, Hello) ^ ~Accepts(x, y)

Negation: ∃x ∀y, ~Returns(x, Hello) v Accepts(x, y)

English translation of negation: There exists a program x such that for which all values y, program x does not returns value Hello or program x accepts value y.

explanation:

i don't understand really? can u provide more information

u should make a machine that can make ice cream fresh!

unlike the threaded fasteners which are used to clamp the machine members, power screws are used to transmit power. common applications of power screws are: screw jacks: to lift weight. lead screw of lathe: for axial movement of tool and its precise positioning.