Glosario Lógica / Término

Validez sintáctica

Una inferencia es sintácticamente válida si y sólo si su conclusión puede ser derivada (o deducida) de las premisas por medio de las reglas de inferencia establecidas. (Véase derivación, validez semántica).

Enlace permanente: Validez sintáctica - Fecha de actualización: 2018-11-30 - Fecha de creación: 2018-11-30

< Validez semántica Glosario Lógica Valor de verdad >

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.