Question 1

Translations. 
Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage):
-

Accepted Answer

Everything heavier than something (or other) is such that something is heavier than it.

Question 2

Translations. 
Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage):
-

Accepted Answer

Something is heavier than something.

Question 3

Symbolizing
-All heads of horses are heads of animals, provided that all horses are animals. (Hx = "x is a horse"; Ax = "x is an animal"; Hxy = "x is the head of y".)

Accepted Answer

The answer of Symbolizing
-All heads of horses are heads of...

Question 4

Translations. 
Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage):
-

Accepted Answer

The answer of Translations. 
Letting Hxy = "x is heavier...

Question 5

Translations. 
Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage):
-

Accepted Answer

The answer of Translations. 
Letting Hxy = "x is heavier...

Question 6

Prove valid
-

Accepted Answer

The answer of Prove valid
-...

Question 7

Symbolizing
-Jones will listen to Smith, even though Smith is boring. (j = "Jones"; s = "Smith"; Lxy = "x will listen to y"; Bx = "x is boring".)

Accepted Answer

The answer of Symbolizing
-Jones will listen to Smith, even though...

Question 8

Symbolizing
-Everyone who loves himself hates someone (or other). (Px = "x is a person"; Lxy = "x loves y"; Hxy = "x hates y".)

Accepted Answer

The answer of Symbolizing
-Everyone who loves himself hates someone (or...

Question 9

Proving invalidity. 
Show that the following arguments are invalid:
-

Accepted Answer

The answer of Proving invalidity. 
Show that the following arguments...

Question 10

Symbolizing
-All freshmen date only seniors. (Fx = "x is a freshman"; Dxy = "x dates y"; Sx = "x is a senior".)

Accepted Answer

The answer of Symbolizing
-All freshmen date only seniors. (Fx =...

Question 11

Symbolizing
-If every sinner is sinned against by everyone who is a sinner, then everyone who sins against someone (or other) sins against himself.

Accepted Answer

The answer of Symbolizing
-If every sinner is sinned against by...

Question 12

Symbolizing
-Someone who is a sinner and sins against someone (or other) who is a sinner sins against himself.

Accepted Answer

The answer of Symbolizing
-Someone who is a sinner and sins...

Question 13

Symbolizing
-If something is heavy, then anyone who is weak will not lift it. (Px = "x is a person"; Wx = "x is weak".)

Accepted Answer

The answer of Symbolizing
-If something is heavy, then anyone who...

Question 14

Symbolizing
-Not all freshmen date every senior.

Accepted Answer

The answer of Symbolizing
-Not all freshmen date every senior....

Question 15

Prove valid
-

Accepted Answer

The answer of Prove valid
-...

Question 16

Prove valid
-

Accepted Answer

The answer of Prove valid
-...

Question 17

Symbolizing
-If anything is heavy, then there is something heavier than this piece of chalk, which happens not to be heavy. (Hx = "x is heavy"; Hxy = "x is heavier than y"; c = "this piece of chalk".)

Accepted Answer

The answer of Symbolizing
-If anything is heavy, then there is...

Question 18

Proving invalidity. 
Show that the following arguments are invalid:
-

Accepted Answer

The answer of Proving invalidity. 
Show that the following arguments...

Question 19

Symbolizing
-No freshmen date any seniors.

Accepted Answer

The answer of Symbolizing
-No freshmen date any seniors....

Question 20

Translations. 
Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage):
-

Accepted Answer

The answer of Translations. 
Letting Hxy = "x is heavier...

Exam 10: Relational Predicate Logic

Translations. Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage): -

Translations. Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage): -

Symbolizing -All heads of horses are heads of animals, provided that all horses are animals. (Hx = "x is a horse"; Ax = "x is an animal"; Hxy = "x is the head of y".)

Translations. Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage): -

Translations. Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage): -

Prove valid -

Symbolizing -Jones will listen to Smith, even though Smith is boring. (j = "Jones"; s = "Smith"; Lxy = "x will listen to y"; Bx = "x is boring".)

Symbolizing -Everyone who loves himself hates someone (or other). (Px = "x is a person"; Lxy = "x loves y"; Hxy = "x hates y".)

Proving invalidity. Show that the following arguments are invalid: -

Symbolizing -All freshmen date only seniors. (Fx = "x is a freshman"; Dxy = "x dates y"; Sx = "x is a senior".)

Symbolizing -If every sinner is sinned against by everyone who is a sinner, then everyone who sins against someone (or other) sins against himself.

Symbolizing -Someone who is a sinner and sins against someone (or other) who is a sinner sins against himself.

Symbolizing -If something is heavy, then anyone who is weak will not lift it. (Px = "x is a person"; Wx = "x is weak".)

Symbolizing -Not all freshmen date every senior.

Prove valid -

Prove valid -

Symbolizing -If anything is heavy, then there is something heavier than this piece of chalk, which happens not to be heavy. (Hx = "x is heavy"; Hxy = "x is heavier than y"; c = "this piece of chalk".)

Proving invalidity. Show that the following arguments are invalid: -

Symbolizing -No freshmen date any seniors.

Translations. Letting Hxy = "x is heavier than y", translate the following into English (coming as close as possible to colloquial usage): -