Siano P1, P2, ... , Pn, Q enunciati di un linguaggio L.
Se fvf(Q) รจ conseguenza tautologica delle forme vero-funzionali delle premesse, allora Q segue tautologicamente dalle premesse