Exemple lògic de raonament correcte no necessàriament veritable
De Wikisofia
- 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]
