Usuario:Sophivorus/Taller/cdb

De Wikipedia, la enciclopedia libre

Tautología (regla de inferencia)[editar]

Tautología (regla de inferencia) (editar | discusión | historial | enlaces | vigilar | registros | proteger | borrar)
Busca fuentes: «Tautología (regla de inferencia)»noticias · libros · académico · imágenes

Borrar[editar]

  • Tiene muy pocas referencias.
    • Se han agregado algunas.
  • Es un tema demasiado pequeño que no permite expansión.
    • Hay muchos artículos que por su naturaleza son pequeños y no por eso son menos enciclopédicos, por ejemplo los de asteroides.

Mantener[editar]

  • Es parte de una serie de artículos sobre reglas de inferencia. Sería raro que solo una regla de inferencia no tenga su propio artículo.
  • Es un tema estándar en todo tipo de libros de lógica.

Fusionar en Tautología[editar]

  • 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.

Fusionar en Reglas de inferencia[editar]

  • El artículo es tan pequeño que podría ser una sección de Reglas de inferencia.
    • 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.