Oración 1: uno de los resultados mostrados en el caṕıtulo anterior es que todas las lógicas proposicionales finito-variadas son decidibles al mostrar las tablas de verdad finitas de cada uno de sus opera- dores
Oración 2: en la lógica difusa de Lukasiewicz no tenemos la noción de tabla de verdad, y de hecho éstas no se pueden construir por tener un conjunto infinito de posibles valores para cada uno de los argumentos que se usen en los conectivos
Conector: sin embargo,
Relación: contrasting
Género: theses