Oración 1: para construir los conectivos de las lógicas finito-variadas, se definen las tablas de verdad de cada uno de los conectivos, los cuales tienen combinaciones finitas de los finitos posibles valores de tabla de verdad
Oración 2: vimos en la moti- vación que el tercio excluido (que algo sea o no sea por obligación) es uno de los principios que no queremos que sea verdad en las lógicas con algún nivel de incertidumbre
Relación: neutral
Género: theses