Tautología: es una ley de la lógica, nosotros todavía no sabemos deducir, sabemos las reglas semánticas pero no la sintaxis. Son verdades semánticas y las verdades teoremas sintácticos. Si supiésemos deducir podríamos deducir desde los axiomas.

Axiomas

Axiomas: es algo evidente de lo cual partimos.

Recurrencias

Recurrencias: cuando una relación se aplica infinitamente así mismo.

LOS PRINCIPIOS DEL SER

Principio de identidad: todo ser es igual así mismo p → q.

Principio de no contradicción: (más…)