logica estensionale
loc.s.f.
TS log.
l. in cui il significato degli enunciati è denotato come vero o falso, e in base alla quale si possono definire regole di calcolo che consentono di eseguire operazioni fra enunciati
Il dizionario di italiano dalla a alla z