Se Deus existe, a vida faz sentido.
Ora, a vida faz sentido.
Logo, Deus existe.
Inspector de circunstâncias:
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
= Inválido
Se Deus existe, a vida faz sentido.
Ora, Deus não existe.
Logo, a vida não faz sentido.
P Q P→Q, -P ╞ -Q
1 1 1 0 0
1 0 0 0 1
0 1 1 1 0
0 0 1 1 1
= Inválido
O silogismo hipotético condicional comporta dois modos válidos: o Modus Ponens ou ponendo ponens (pôr)
Se Deus existe, a vida faz sentido.
Ora, Deus existe.
Logo, a vida faz sentido.
P Q P→Q, P ╞ Q
1 1 1 1 1
1 0 0 1 0
0 1 1 0 1
0 0 1 0 0
= Válido
e o Modus Tollens ou tolendo tollens (tirar)
Se Deus existe, a vida faz sentido.
Ora, a vida não faz sentido.
Logo, Deus não existe.
P Q P→Q, -Q ╞ -P
1 1 1 0 0
1 0 0 1 0
0 1 1 0 1
0 0 1 1 1
= Válido
