Oración 1: para la demostración de completitud de (II) a (I), se debe observar que LC la clase de fórmulas equivalentes usando los axiomas de C es una C-álgebra en si misma
Oración 2: para cualquier C-valoración, se tiene nuevamente que [ϕ]C = [1̄]C
Conector: por tanto,
Relación: reasoning
Género: theses