Oración 1: afirmamos que a cada valuación ν ∈ ν(R(XF ))\ Uα le corresponde uno de estos, lo cual implica el resultado
Oración 2: dada una valuación §4.5 24 ν ∈ ν(R(XF )) tenemos que ν(1/α) > 0
Conector: en efecto
Relación: entailment
Género: theses