Parciales

Buenas! Quisiera saber si la siguiente justificación de que la afirmación es verdadera, es correcta:

$CONS(\emptyset) = verdades\ logicas$
$Th(K_1)$ es el conjunto de todas las sentencias que son modeladas por las estructuras de $K_1$.
Las verdades lógicas $\Big( CONS(\emptyset) \Big)$ están incluidas en $Th(K_1)$ ya que están incluidas en $Th(A)$ para todo $A$ conjunto de estructuras de mismo tipo de similaridad. Esto, porque las verdades lógicas son modeladas por cualquier estructura, por definición.
Por lo tanto $CONS(\emptyset) \subseteq Th(A)\ \ \  \forall A$, en particular  $CONS(\emptyset) \subseteq Th(K_1)\ \ \  \forall K_1 \subseteq K$