Formaliza con el lenguaje de lógica proposicional (LP) las siguientes inferencias:

[1]
1. Hay una ley moral objetiva.
2. Si hay una ley moral objetiva, entonces hay un fundamento de la ley moral.
3. Si hay un fundamento de la ley moral, entonces existe Dios. (Otros posibles fundamentos,
como la sociedad o el individuo, se afirma que no funcionan).

:. Existe Dios.

[2]

1. Si la ética depende de la voluntad de Dios, entonces algo es bueno porque Dios lo desea.
2. Algo no es bueno porque Dios lo desea (Más bien, Dios desea algo porque ya es bueno).

:. La ética no depende de la voluntad de Dios.

[3]
1. Si tenemos experiencia directa de Dios, entonces no podríamos racionalmente dudar de su
existencia.
2. No tenemos una experiencia directa de Dios.

:. Podemos racionalmente dudar de la existencia de Dios.

[4]
1. Si hay un Dios, entonces Dios creó el universo.
2. Si Dios creó el universo, entonces la materia no siempre existió.
3. La materia siempre existió.

:. No hay un Dios.

[5]
1. Iré a París durante las vacaciones de primavera si y sólo si gano la lotería.
2. No ganaré la lotería.

:. No iré a París durante las vacaciones de primavera.