Oración 1: para esto, retomemos el ejemplo del teorema clásico del tercio excluido P ∨¬P, que es una tautoloǵıa lógica clásica
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
Conector: sin embargo,
Relación: contrasting
Género: theses