Oración 1: comparación entre lógicas tri-variadas Sin embargo, esta es una tautoloǵıa de la lógica clásica; la razón de que esto pase es que se tiene otra forma en Lukasiewicz de producir T o F desde N diferente al principio de uniformidad, y es a través de tener valoraciones de la forma N→ N
Oración 2: es fácil ver el siguiente teorema
Conector: de hecho,
Relación: entailment
Género: theses