Skolen

ERP - Lektion l. In mathematical logic a formula of first-order logic is in Skolem normal form if it is in prenex normal form wit…