Oración 1: para toda inter- pretación I y toda valoración V de I, se tiene que IV (¬ϕ) = 1 − IV (ϕ), y como IV (ϕ) ∈ [0, 1], el lector podrá observar que usando casos, se llegará al resultado de IV (ϕ ∨ ¬ϕ) = max{IV (ϕ), 1− IV (ϕ)} ≥ 0, 5 Por lo cual se tiene que el medio excluido ϕ ∨ ¬ϕ es una 0.5-tautoloǵıa
Oración 2: la fórmula siempre garantiza como mı́nimo la mitad de la pertenencia del grado de verdad en cualquiera de sus interpretaciones
Conector: es decir,
Relación: entailment
Género: theses