Oración 1: en los casos35 de valoraciones V en los cuales IV (Eyx) = 1, se tiene por la interpretación del ∧ que IV ((Tx ∧ Eyx) → Ty) = IV (Tx → Ty), por lo que tenemos que encontrar el valor ı́nfimo de las interpretaciones para la fórmula Tx → Ty, teniendo en cuenta que 0 < x− y ≤ 1 y que lo que queremos es el mı́nimo 35 valor para IV (Tx→ Ty) = min{1, 1− IV (T )(< x >) + IV (T )(< y >)}
Oración 2: tiene sentido afirmar que P →L P sea válido sin importar el valor de P, ya que P siempre tendrá el mismo valor de verdad que P
Relación: neutral
Género: theses