Glosario Enunciados de lógica / Término

Cálculo

Un cálculo es una pura estructura formal, un sistema de relaciones. Son, además, autárquicos (no hacen referencia a nada ajeno a ellos mismos, carece de otra finalidad que no sea calcular). Se componen de símbolos elementales, reglas de formación (RF) y reglas de transformación (RT).

Enlace permanente: Cálculo - Fecha de creación: 2014-02-07

< Axiomas Glosario Enunciados de lógica Condicional contrafáctico >

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.