Regola di inferenza
Da TecnoLogica.
Definizione
In un sistema deduttivo, l’insieme delle regole secondo le quali le proposizioni possono essere dedotte dai postulati[1].
Voci correlate
Note
|
In un sistema deduttivo, l’insieme delle regole secondo le quali le proposizioni possono essere dedotte dai postulati[1].
|