Se Deus existe, a vida faz sentido.
A vida faz sentido.
Logo, Deus existe.

                                     Será este argumento válido?

Para determinar a sua validade precisamos de isolar a sua forma lógica. Para isso, começamos por representar as proposições que ocorrem no argumento com variáveis proposicionais:

                       P: Deus existe.
                       Q: A vida faz sentido.

                      Agora podemos representar a forma do argumento:

                      P→Q
                           Q
                      Logo, P

Finalmente, podemos determinar se esta forma lógica é valida ou não, separando as duas premissas com uma vírgula: 

                     P Q    P→Q,   Q   ╞ P
                     1  1       1      1      1
                     1  0       0      0      1
                     0  1       1      1      0
                     0  0       1      0      0

Sabendo que num argumento dedutivo válido é impossível as premissas serem verdadeiras e a conclusão falsa, podemos constatar que a forma é inválida, porque há uma circunstância em que as premissas são verdadeiras e a conclusão é falsa  
       A Arte de Pensar, 11.º ano, Didáctica Editora (Adaptado )