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 )