Oración 1: principio de normalidad y uniformidad para lógica difusa, tautoloǵıas, 68 contradicciones Otro de los resultados necesarios que se deben tener en cuenta es que toda fórmula ϕ de la lógica clásica se puede escribir con otra fórmula ϕ′ equivalen- te que solo tiene ocurrencias de ¬,∇, esto se mostrará más adelante cuando se haya explicado el tema de T-normas en las siguientes secciones
Oración 2: existe una forma procedimental de, a través de un número finito de pasos, transformar a ϕ en ϕ′
Conector: de hecho
Relación: entailment
Género: theses