[escepticos] Ser ateo, ¿quéquiere decir?

[Eloy Anguiano Rey]

> Si A es "creo" y  B Dios existe "creo que Dios existe" no es una proposición
> del tipo A implica B, Sino una función proposicional F(A) que devuelve
> acertado si A es verdadera, o erróneo si A es falsa, luego aquí no pinta
> nada el modus tollens, y con F casi nos estamos metiendo en un metalenguaje,
> puesto que F es una proposición acerca de otra proposición.

Bueno, vale, carece de estructura lógica sino que es sólo una
proposición. Pues vale, paso de discutir, tengo demasiado lío.