Lógica/Lógicas Não-clássicas/Lógica Intuicionista: diferenças entre revisões

Curiosamente, tanto a Lógica Clássica quanto a Intuicionista verificam <math>\left(AP\lor \neg AP\right)\to \left(\neg\neg P\to P\right)</math>. O que na Clássica é um resultado óbvio, pois tanto o antecedente quanto o conseqüente são, nela, fórmulas válidas; na Intuicionista revela a relação meta-lógica de ambos princípios.