Achava que era Márcio, agora vejo Marcos.
Teoremas são verdades para aquela teoria justamente, não dependem de
hipóteses. Por exemplo, numa lógica clássica A implica A é teorema, ou
ainda diremos que é uma tautologia, ou seja, tem sempre valor 1. Mas, e se
não for a lógica clássica? Se a lógica
É Márcio mesmo. Esse Marcos é outra pessoa, não sou eu.
Em 13 de maio de 2013 12:00, Tony Marmo marmo.t...@gmail.com escreveu:
Achava que era Márcio, agora vejo Marcos.
Teoremas são verdades para aquela teoria justamente, não dependem de
hipóteses. Por exemplo, numa lógica clássica A