Abstract
A proposição expressa por “Deus existe”, se é verdadeira ou falsa, ela é ou necessariamente verdadeira/falsa ou não necessariamente verdadeira/falsa. Em outras palavras, se G é capaz de ter um valor de verdade v, então ela é ou necessariamente v ou contingentemente v. por “Deus” eu quero significar um ser sobrenatural, com uma mente poderosa e imaterial que supostamente criou o universo. Certamente existem outros significados que estão vinculados a esse termo em certos contextos, mas os argumentos que eu irei avaliar aqui só fazem sentido sob essa interpretação.