Oración 1: se∏construye la valuación νP de la siguiente forma: Si x ∈ A, entonces tenemos que (x) = ordQ(x)Q∈Max(A) Q
Oración 2: sea c como en la Proposición 5.2.6
Relación: neutral
Género: theses