Coerenza (logica matematica): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
eliminato paragrafo amatoriale + piccole modifiche |
|||
Riga 13:
== Voci correlate ==
* [[Principio di non contraddizione]]
*
* [[Dimostrazione per assurdo]]
* [[Logica proposizionale]]
* [[Teoria del primo ordine]]
* [[Completezza (logica matematica)
* [[Correttezza (logica matematica)
{{Portale|matematica}}
| |||