Forma prenessa: differenze tra le versioni

Come si è visto nella regola di conversione per l'operatore di implicazione, in generale una formula può essere equivalente a ''diverse'' formule in forma prenessa. Per questo motivo, parlare di ''[[forma normale]] prenessa'' sarebbe improprio. Ciononostante, questa dicitura è piuttosto diffusa ed è in parte giustificata dal fatto che, ''ai fini pratici'', le formule in forma prenessa equivalenti tra di loro possono essere considerate uguali, dato che differiscono solo per l'ordine in cui sono disposti alcuni quantificatori universali (o esistenziali) consecutivi. In altre parole, le seguenti formule: