Sammendrag øving 1, logikk og mengdelære, (14 min.)