Quiz Content

not completed
. Select the best translation into predicate logic. David teaches Chris. (c: Chris; d: David; Txy: x teaches y)

not completed
. Select the best translation into predicate logic. Earth isn't bigger than Jupiter. (e: Earth; j: Jupiter; Bxy: x is bigger than y)

not completed
. Select the best translation into predicate logic. Holly loves Frances. (f: Frances; h: Holly; Lxy: x loves y)

not completed
. Select the best translation into predicate logic. Leo is taller than Cathy. (c: Cathy; l: Leo; Txy: x is taller than y)

not completed
. Select the best translation into predicate logic. Alexis is greeted by Ben. (a: Alexis; b: Ben; Gxy: x greets y)

not completed
. Select the best translation into predicate logic.George borrows Hector's lawnmower. (g: George; h: Hector; l: Hector's lawnmower; Bxyx: x borrows y from z)

not completed
. Select the best translation into predicate logic. José introduces Wilma to Kevin. (j: José; k: Kevin; w: Wilma; Ixyz: x introduces y to z)

not completed
. Select the best translation into predicate logic. Kevin is introduced to José by Wilma. (j: José; k: Kevin; w: Wilma; Ixyz: x introduces y to z)

not completed
. Select the best translation into predicate logic. Marco moves from Italy to Spain. (i: Italy; m: Marco; s: Spain; Mxyz: x moves to y from z)

not completed
. Select the best translation into predicate logic. Marco doesn't move from Spain to Italy. (i: Italy; m: Marco; s: Spain; Mxyz: x moves to y from z)

not completed
. Select the best translation into predicate logic. All planets are smaller than Jupiter. (j: Jupiter; Px: x is a planet; Sxy: x is smaller than y)

not completed
. Select the best translation into predicate logic. All kings are luckier than all paupers. (Kx: x is a king; Px: x is a pauper; Lxy: x is luckier than y)

not completed
. Select the best translation into predicate logic. All birds live in some nest. (Bx: x is a bird; Nx: x is a nest; Lxy: x lives in y)

not completed
. Select the best translation into predicate logic. Some CEO is wealthier than everyone. (Cx: x is a CEO; Px: x is a person; Wxy: x is wealthier than y)

not completed
. Select the best translation into predicate logic. All jellybeans are sweeter than all fruit. (Fx: x is a fruit; Jx: x is a jellybean; Sxy: x is sweeter than y)

not completed
. Select the best translation into predicate logic. All children go to some school. (Cx: x is a child; Sx: x is a school; Gxy: x goes to y)

not completed
. Select the best translation into predicate logic.Some robbers steal money from a bank. (Bx: x is a bank; Mx: x is money; Rx: x is a robber; Sxyz: x steals y from z)

not completed
. S Select the best translation into predicate logic. Some kind people help some endangered species. (Ex: x is endangered; Kx: x is kind; Px: x is a person; Sx: x is a species; Hxy: x helps y)

not completed
. Select the best translation into predicate logic. Some animals are neglected by cruel people. (Ax: x is an animal; Cx: x is cruel; Px: x is a person; Nxy: x neglects y)

not completed
. Select the best translation into predicate logic. Some firefighters rescue victims from danger. (Dx: x is danger; Fx: x is a firefighter; Vx: x is a victim; Rxyz: x rescues y from z)

not completed
.

Select the best English interpretation of the given proposition, using the following translation key:

Ax: x is an apartment

Hx: x is a house

Lx: x is large

Bxy: x is bigger than y

(∃x)[Hx • (∀y)(Ay ⊃ Bxy)]

not completed
.

Select the best English interpretation of the given proposition, using the following translation key:

Ax: x is an apartment

Hx: x is a house

Lx: x is large

Bxy: x is bigger than y

(∀x)[Ax ⊃ (∃y)(Hy • Bxy)]

not completed
.

Select the best English interpretation of the given proposition, using the following translation key:

Ax: x is an apartment

Hx: x is a house

Lx: x is large

Bxy: x is bigger than y

(∃x)[(Ax • Lx) • (∃y)(Hy • Bxy)]

not completed
.

Select the best English interpretation of the given proposition, using the following translation key:

Ax: x is an apartment

Hx: x is a house

Lx: x is large

Bxy: x is bigger than y

(∀x){Ax ⊃ (∀y)[(Hy • Ly) ⊃ ∼Bxy]}

not completed
.

Select the best English interpretation of the given proposition, using the following translation key:

Ax: x is an apartment

Hx: x is a house

Lx: x is large

Bxy: x is bigger than y

(∀x){(Lx • Ax) ⊃ (∃y)[(Hy • ~Ly) • Bxy]}

Back to top