Glosario Lógica / Término

Teorema

Un teorema es una fbf que se ha probado o se puede probar. Los teoremas, con frecuencia, son proposiciones no inmediatamente evidentes que se deducen de los axiomas. Por tanto, un teorema es cualquier fbf deducida a partir de axiomas o de otros teoremas mediante reglas de inferencia válidas. Se puede ver a los axiomas como casos particulares de los teoremas; así, se puede definir un axioma como una demostración de cero premisas. Notación: ::A (A es un teorema); por ::SA (A es un teorema en el sistema S). (Véase axioma, cálculo, inferencia, prueba, regla de inferencia, validez sintáctica).

Enlace permanente: Teorema - Fecha de actualización: 2018-11-30 - Fecha de creación: 2018-11-30


< Tautología Glosario Lógica Tercero Excluido, Principio de >

Glosarios especializados

Este sitio web es posible gracias a que muestra publicidad en línea a sus visitantes.
Por favor, ayude a que pueda seguir existiendo deshabilitando su bloqueador de anuncios (adblocker).
Muchas gracias.