Matematická logika – príklady