Examlex
use the following translation key to write the sentences below in FF.
a: Ahmed
b: Bhavin
c: Chloe
d: Delfina
e: Eduardo
i: Irving
f(x): the father of x
g(x): the mother of x
f(x,y): the only son of x and y
Lxy: x loves y
Sxy: x is a sister of y
Txy: x teaches y
-Irving's father teaches Bhavin and Eduardo.
Q3: Every state-funded school, including academies and free
Q5: Seymour Papert was the father of .
Q11: 1. (∃x)[Dx • (∀y)(Ey ⊃ Fxy)]<br>2. (∀x)(Dx
Q39: Some tigers and all cheetahs are faster
Q46: Which of the following propositions is an
Q97: P ⊃ [Q ⊃ (∼S ⊃
Q108: 1. (∀x)(∀y)(∃z)Sf(x)yz<br>2. (∀x)(∀y)(∀z)[Sxyz ⊃ ∼(Cxyz
Q133: Which of the following is the best
Q250: Any lion larger than all cheetahs is
Q293: No number is greater than the sum