Sedan en mängd k. propositioner,