Proof theory

Juicio lógicoJuicio lógico

Juicio lógico

En lógica matemática, un juicio (o juicio) o afirmación es un enunciado o enunciado en el metalenguaje. Por ejemplo, los juicios…

6 años ago