Oración 1: basta con ver que todos los operadores de L3 son normales; esto se puede apreciar observando las Tablas de la 3.1 a la 3.7, en las cuales, si el lector sólo observa las filas y columnas con valores T y F, entonces éstas coinciden con sus contraparte de la lógica clásica
Oración 2: l3 tiene el principio de normalidad
Conector: por tanto,
Relación: reasoning
Género: theses