Oración 1: pS es válida en LLuk∀
Oración 2: se conoce que la lógica difusa de Lukasie- wicz no es completa con premisas, de lo cual mostraremos el contraejemplo de este hecho en las siguientes secciones
Relación: neutral
Género: theses