Exemple lògic de raonament correcte no necessàriament veritable

Si Déu no existís tot estaria permès

Però no és veritat que tot estigui permès

___________________________________________

Per tant, Déu existeix (Dostoyevsky)

l'esquema lògic del qual és

[math]\displaystyle{ ¬p \rightarrow{q} }[/math]

[math]\displaystyle{ ¬q }[/math]

__________________________________

[math]\displaystyle{ p }[/math]