Regola di inferenza
Da TecnoLogica.
Versione delle 19:36, 30 set 2011, autore: Lucarck (Discussione | contributi)
Definizione
In un sistema deduttivo, l’insieme delle regole secondo le quali le proposizioni possono essere dedotte dai postulati[1].
Voci correlate
Note
|