Oración 1: mantenemos las mismas definiciones de tautoloǵıas y contradicciones multi- variadas definidas en el caṕıtulo anterior
Oración 2: que, por ejemplo para el caso de tautoloǵıas, ϕ es una tautoloǵıa śı y solo śı para toda interpretación I y para toda valoración V de I se tiene que IV (ϕ) = 1
Conector: es decir
Relación: entailment
Género: theses