Oración 1: de esta forma, ∨ ∨ f̂(x) = f(ai) = vi (3.1) ai∈Atom(x) ai∈Atom(x) Aśı, vi ∈ Atom(f̂(x)) si y sólo si δi = 1 y, análogamente, vi ∈ Atom(f̂(y)) si y sólo si γi = 1
Oración 2: ∀j tal que i < j ≤ n, vj ∈ Atom(f̂(x)) si y sólo 112 3.6
Conector: por lo tanto,
Relación: reasoning
Género: theses