8 de maio de 2007

Lógica I (Erros meus, má fortuna)

"Aquele que pensa em grande tem de errar em grande" (Heidegger)

Trocando em miúdos: se não se desse o caso de, em Lógica Formal, uma implicação ser distinta de uma equivalência, estariam neste momento a debruçar-se sobre as palavras de um génio.