Oración 1: esto es, ‖x2‖ Éα‖x1‖ y por lo 48 tanto x2 está totalmente determinado por x1
Oración 2: suponga que existen x1, x2, x3 ∈ H tales que (x1 x2)>, (x1 x >3) ∈ F
Conector: en efecto,
Relación: entailment
Género: theses