Glosario Lógica / Término

Derivación

Una derivación o deducción es una secuencia finita, de fbfs cuyo último miembro es la fbf derivada, y cada uno de los demás es o bien un axioma, o alguna de las premisas aceptadas, o el resultado de aplicar una regla de inferencia a alguna(s) de las fbfs que le preceden en la secuencia. Se escribe Γ::A para denotar que la fbf A puede derivarse del conjunto de fbfs Γ).

(Véase argumento correspondiente, prueba).

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


< Demostración Glosario Lógica Dictum de omni dictum de nullo, 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.