Glosario Enunciados de lógica / Término
Los enunciados de una teoría a los cuales se llega partiendo de los axiomas tras aplicar las reglas de transformación de ese sistema. Son expresiones de cálculo.
Axiomas > Reglas transformación >Teoremas
Teoría:
1. Axiomas
2. Teoremas
Las reglas de transformación no son expresiones de cálculo.
Enlace permanente: Teoremas - Fecha de creación: 2014-02-07