sábado, 4 de dezembro de 2010

Prova lógica do pecado original

Se P, então Q.

Se P, Q?

P Q (i)*

*reductio ad adão


T. R.

2 comentários:

  1. Este comentário foi removido pelo autor.

    ResponderExcluir
  2. thiago, "reductio ad adão" seria uma boa solução aos problemas lógicos; uma estratégia na demonstração da validade dedutiva de um qualquer seqüente. etc. vulgarmente tratar-se-ia da "estratégia da maçã".

    ResponderExcluir