En esencia son el mismo tema, como el título indica.
Si bien están relacionados, no son el mismo tema en absoluto. Uno es acerca de una regla de inferencia, y el otro acerca de un tipo de fórmulas bien formadas. Que se llamen igual puede ser confuso, es cierto, pero no por eso dejan de ser temas diferentes.
Reglas de inferencia no tiene secciones para cada una de las reglas de inferencia, y no debería tenerlas ya que son muchas y alargarían demasiado el artículo sin aportar valor.
Que un artículo sea pequeño no implica que deba ser parte de otro. La regla de inferencia Tautología es un tema en lógica por derecho propio.