Oración 1: validez: La lógica BL es válida con respecto a las BL- tautoloǵıas
Oración 2: si una fórmula ϕ es deducible en BL, entonces ϕ es una L-tautoloǵıa para todas las BL-álgebras
Conector: es decir,
Relación: entailment
Género: theses