• Sia A un enunciato di un linguaggio L, e si consideri la sua forma vero funzionale B = fvf(A). Se B è tautologicamente equivalente a C, posso usare l'equivalenza per riscrivere A in una forma logicamente equivalente.