Re: [Logica-l] Lógica construtiva

Diogo Dias escreveu: Gostaria de pedir ajuda com duas perguntas. 1. É possível definir, na lógica clássica proposicional, uma noção de "construtível" de tal forma que se possa dizer que tal prova é construtível e, portanto, aceita intuicionisticamente? Dito de

[Logica-l] Lógica construtiva

Olá a todos. Gostaria de pedir ajuda com duas perguntas. 1. É possível definir, na lógica clássica proposicional, uma noção de "construtível" de tal forma que se possa dizer que tal prova é construtível e, portanto, aceita intuicionisticamente? Dito de outro modo, é possível determinar uma