Besonderhede van voorbeeld: 6129158004586328236

English

Every formula in classical logic is equivalent to a formula in prenex normal form.

Dutch

Elke formule in de klassieke logica komt overeen met een formule in prenex-normaalvorm.