L'affermazione non e' corretta.

Quanto detto equivale a dire che se alpha non e' conseguenza tautologica
di Gamma allora notalpha e' conseguenza tautologica di Gamma.
Questo non e' vero. Un facile controesempio di questo fatto si ottiene
prendendo semplicemente una variabile proposizionale p come alpha e
l'insieme vuoto come Gamma.
E' chiaro che p non e' una tautologia, ed e' altrettanto chiaro come
anche notp non sia una tautologia.