Oración 1: lógicas trivariadas y lógicas finito-variadas 39 que solo asigna True o False a las letras proposicionales que ocurren en ϕ, el mismo argumento de BI3 nos sirve para afirmar que esta no es una tautoloǵıa clásica
Oración 2: asumamos que existe al menos una letra proposicional P en ϕ tal que V (P ) = N
Conector: por tanto,
Relación: reasoning
Género: theses