MATEMATICKÁ LOGIKA - S -