Glosario Enunciados de lógica / Término

Formalización del lenguaje

Presentar ese lenguaje en forma de cálculo, especificar las reglas que permitirán construir y demostrar sus enunciados esquemáticos (que expresan formas válidas de inferencia).

Enlace permanente: Formalización del lenguaje - Fecha de creación: 2014-02-07

< Formalización Glosario Enunciados de lógica Función >

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.