Oración 1: este es el único escenario en el cual una valoración de N puede ser cambiada por uno de T o F en Kleene Construya la valoración V ′, en donde se cambian las valoraciones de de las letras P en ϕ cuya valoración es V (P ) = N por V ′(P ) = T
Oración 2: por el principio de uniformidad los valores que antes eran N y ahora serán True no cambian el resultado de la valoración que en V remov́ıa el valor N
Conector: por tanto,
Relación: reasoning
Género: theses