Proof theory

Lógica de julgamentoLógica de julgamento

Lógica de julgamento

Na lógica matemática, um julgamento (ou julgamento) ou afirmação é uma afirmação ou enunciação na metalinguagem. Por exemplo, julgamentos típicos em…

6 anos ago